Title: Galois theory and homology in quasi-abelian functor categories Abstract: The aim of this talk is to give an introduction to the categorical theory of (higher) central extensions and of generalized Hopf formulae for homology, and to apply these methods to the study of, in particular, the category Grpdn(A) of internal n-fold groupoids in a […]
Title: Formalizing ∞-Category Theory in Lean Abstract: This semester the category theory seminar will function as a working group with the aim of contributing to an open-source collaborative computer formalization project with the aim of developing the formal theory of ∞-categories in the computer proof assistant Lean. A "blueprint" for the formalization project, which is […]
Title: Formalizing ∞-Category Theory in Lean
Topic: Formalizing ∞-Category Theory in Lean
Topic: Formalizing ∞-Category Theory in Lean
Formalizing cotensors in Lean.
Topic: Formalizing ∞-category theory in Lean
Topic: Formalizing ∞-Category Theory in Lean