nLab Richard Garner

Selected writings

Selected writings

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 2-type theory

On ionads:

On adhesive 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:

category: people

Last revised on January 31, 2023 at 11:56:26. See the history of this page for a list of all contributions to it.