2 papers
math.CT2025
Formalizing colimits in Cat
Mario Carneiro, Emily Riehl
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite -category theory has not been formalized. To s…
math.CT2023
Formalizing the -Categorical Yoneda Lemma
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalized -category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoreti…