About this document
Structuralism and Univalence in Mathematics by Rocío SK is a document available to read on EtoBox.
The document summarizes recent advances in the foundations of mathematics that have led to developments significant for the philosophy of structuralism. Specifically, it discusses how the discovery of an interpretation of type theory into abstract homotopy theory suggests a new approach with intrinsic geometric content and computational implementation. It describes Vladimir Voevodsky
- Author
- Rocío SK
- Language
- EN