Category Archives: Uncategorized

A type theory for synthetic ∞-categories

Advertisements

Formalizing Categorical models of type theory in type theory

Équivalence des (∞,1)-catégories