On linear logic and the double gluing construction:
On weak factorization systems such as for cofibrantly generated model categories:
On the small object argument:
On infinity-groupoid/omega-groupoid-structure on types in homotopy type theory:
On dependent product types and function extensionality:
On ionads:
On 2-category theoretic notions of exact categories:
On the categorical semantics of dependent type theory with function types in locally cartesian closed categories (see at relation between category theory and type theory):
On transferred model structures:
Last revised on November 10, 2025 at 10:16:59. See the history of this page for a list of all contributions to it.