Univalent foundations of mathematics

DOI10.1007/978-3-642-20920-8_4MaRDI QIDQ3003342zbMATH OpenOpenAlexFDO

Authors Vladimir Voevodsky

Publication date 27 May 2011

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20920-8_4

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)

Recommendations

• Homotopy type theory and Voevodsky's univalent foundations
• Homotopy Type Theory
• The simplicial model of univalent foundations (after Voevodsky)
• Univalent semantics of constructive type theories
• An experimental library of formalized mathematics based on the univalent foundations

Cited in

(16)

• A certified program for the Karatsuba method to multiply polynomials
• Homotopy type theory and Voevodsky's univalent foundations
• Univalent semantics of constructive type theories
• Mini-workshop: The homotopy interpretation of constructive type theory. Abstracts from the mini-workshop held February 27th-March 05th, 2011.
• Does homotopy type theory provide a foundation for mathematics?
• Vladimir Aleksandrovich Voevodsky
• An introduction to univalent foundations for mathematicians
• Univalent foundations of mathematics and paraconsistency
• Set-theoretic foundations
• An experimental library of formalized mathematics based on the univalent foundations
• Undecidable problems in quantum field theory
• Univalent Foundations and the UniMath Library
• Foundations for the Working Mathematician, and for Their Computer
• Towards a constructive simplicial model of Univalent Foundations
• Isomorphism is equality
• Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Univalent foundations of mathematics

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