Good Fibrations through the Modal Prism

zbMath1502.18047arXiv1908.08034MaRDI QIDQ5094695

David Jaz Myers

Publication date: 4 August 2022

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

zbMATH Keywords

modalityfibrationhomotopy type theoryaxiomatic cohesion

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Cites Work

• Quasifaserungen und unendliche symmetrische Produkte
• Goodwillie's calculus of functors and higher topos theory
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Modal descent
• Higher Groups in Homotopy Type Theory
• Modalities in homotopy type theory
• Homotopy Type Theory: Univalent Foundations of Mathematics

This page was built for publication: Good Fibrations through the Modal Prism