Can I read Structuralism and Univalence in Mathematics on EtoBox?

Structuralism and Univalence in Mathematics by Rocío SK is a document available to read on EtoBox.

What is Structuralism and Univalence in Mathematics about?

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