Modal descent

DOI10.1017/S0960129520000201zbMath1481.18029arXiv2003.09713MaRDI QIDQ5022924

Egbert Rijke, Felix Cherubini

Publication date: 20 January 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebraic geometryhomotopy type theoryfactorization systemscohesive homotopy type theorymodal homotopy type theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (1)

Good Fibrations through the Modal Prism

Cites Work

• Unnamed Item
• Unnamed Item
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
• A generalized Blakers–Massey theorem
• Higher Groups in Homotopy Type Theory
• Modalities in homotopy type theory
• Localization in Homotopy Type Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics

This page was built for publication: Modal descent