The New York City Category Theory Seminar

@thenewyorkcitycategorytheo8781

16 tuit
Sergei Artemov --- Non-compact proofs.
Formal & Physical Sciences Mathematics
EN

Sergei Artemov --- Non-compact proofs.

Sergei Artemov
96 min
★ ★ ★ ★ ★ 5/5
Gödel's IncompletenessProof TheoryNon-Compact Proofs
Unital k-restricted Infinity Operads
Formal & Physical Sciences Mathematics
EN

Unital k-restricted Infinity Operads

Amartya Shekhar Dubey
56 min
★ ★ ★ ★ ☆ 4/5
Infinity OperadsDendroidal SetsCategory Theory