Cozy Library | Category: univalence axiom

Browse
Books
Shelves

Discover (Random Books)

The Four Steps to the Epiphany

The Four Steps to the Epiphany

Plato's Parmenides

Plato's Parmenides

Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, with a Translation and Commentary of Proclus’ Treatise On Chaldean Philosophy

Proclus and the Chaldean Oracles; A Study on Proclean Exegesis, ...

The Art of War

The Art of War

Narattaphol Charoenphandhu

Category: univalence axiom

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program