Author Archives: mathesisuniversalis

A type theory for synthetic ∞-categories

Advertisements

Formalizing Categorical models of type theory in type theory

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