Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
11010130 | Indagationes Mathematicae | 2018 | 14 Pages |
Abstract
It is sometimes convenient or useful in mathematics to treat isomorphic structures as the same. The recently proposed Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of homotopy type theory. It provides a simple and precise way in which isomorphic structures can be identified. We explore the motivations and consequences, both mathematical and philosophical, of making such a new logical postulate.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Steve Awodey,