-
Category Theory Seminar: Emily Riehl (Johns Hopkins)
Category Theory Seminar: Emily Riehl (Johns Hopkins)
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 […]