Introduction -- from type theory and homotopy theory to univalent foundations

DOI10.1017/S0960129514000474MaRDI QIDQ5740647zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 27 July 2016

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

Full work available at URL https://doi.org/10.1017/s0960129514000474

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Topological categories, foundations of homotopy theory (55U40)

Recommendations

• Preface: Special issue on homotopy type theory and univalent foundations
• Homotopy Type Theory
• Homotopy type theory
• Homotopy type theory and Voevodsky's univalent foundations
• Preface to the MSCS Issue 31.1 (2021) Homotopy type theory and univalent foundations

Cites work

• A model for the homotopy theory of homotopy theory
• Homotopical algebra
• Homotopical algebraic geometry. I: Topos theory
• Homotopy theoretic models of identity types
• Homotopy type theory. Univalent foundations of mathematics
• The identity type weak factorisation system
• Types are weak -groupoids

Cited in

(13)

• Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
• Preface: Special issue on homotopy type theory and univalent foundations
• Homotopy type theory
• An introduction to univalent foundations for mathematicians
• Preface to the MSCS Issue 31.1 (2021) Homotopy type theory and univalent foundations. II
• Martin Hofmann’s contributions to type theory: Groupoids and univalence
• What types should not be
• Preface to the MSCS Issue 31.1 (2021) Homotopy type theory and univalent foundations
• Homotopy type theory: the logic of space
• Type theory and homotopy
• Naïve Type Theory
• Special issue on homotopy type theory 2019 vol. 2
• Extended abstracts fall 2013. Geometrical analysis; type theory, homotopy theory and univalent foundations. Selected papers based on the presentations at the conferences, CRM, Barcelona, Spain, July 1--5, 2013 and September 23--27, 2013

This page was built for publication: Introduction -- from type theory and homotopy theory to univalent foundations

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