Abstract
We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the encoding reveals a potentially viable foundation for all of modern mathematics that can serve as an alternative to set theory.
Author supplied keywords
Cite
CITATION STYLE
APA
Grayson, D. R. (2018). An introduction to univalent foundations for mathematicians. Bulletin of the American Mathematical Society, 55(4), 427–450. https://doi.org/10.1090/bull/1616
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free