nLab Pierre Cagne

Selected writings

Selected writings

On the Grothendieck construction for model categories:

On symmetry and introducing the language of homotopy type theory for univalent foundations of mathematics:

category: people

Last revised on April 29, 2023 at 19:07:28. See the history of this page for a list of all contributions to it.