Homotopies in Grothendieck fibrations

zbMath1442.18015arXiv1905.10690MaRDI QIDQ3305548

Joseph Helfer

Publication date: 7 August 2020

Full work available at URL: https://arxiv.org/abs/1905.10690

zbMATH Keywords

2-categoryhyperdoctrineGrothendieck fibrations

Mathematics Subject Classification ID

Fibered categories (18D30) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Cites Work

• Bifibrations and weak factorisation systems
• Mixing model structures
• Categorical logic and type theory
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• Model category structures in bifibred categories
• Homotopical algebra
• Elementary quotient completion
• Homotopy theoretic models of identity types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Homotopies in Grothendieck fibrations