Modal Homotopy Type Theory

DOI10.1093/OSO/9780198853404.001.0001MaRDI QIDQ5213483zbMATH OpenOpenAlexFDO

Authors David Corfield

Publication date 3 February 2020

Full work available at URL https://doi.org/10.1093/oso/9780198853404.001.0001

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 19th century (01A55) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of category theory (18-03) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Recommendations

• Homotopy type theory. Univalent foundations of mathematics
• Does homotopy type theory provide a foundation for mathematics?
• \(\pi _{n }(S ^{n })\) in homotopy type theory
• Expressing `the structure of' in homotopy type theory
• Modalities in homotopy type theory
• Homotopy type theory: the logic of space
• Identity in homotopy type theory. Part I: The justification of path induction
• Homotopy Type Theory
• Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT

Cited in

(9)

• Expressing `the structure of' in homotopy type theory
• Characterizations of modalities and lex modalities
• $L'$-localization in an $\infty$-topos
• Non-accessible localizations
• Univalence and ontic structuralism
• The quantum monadology
• ``\textit{Le complément supérieur}: On the poetics of mathematics
• A dependently-typed calculus of event telicity and culminativity
• Extending computational trinitarianism

This page was built for publication: Modal Homotopy Type Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213483)