Open srid opened 2 years ago
https://www.cs.nott.ac.uk/~psztxa/publ/fomus19.pdf
We introduce Type Theory, including Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics emphasising the intuitive and naïve understanding of its concepts.
https://www.cs.nott.ac.uk/~psztxa/publ/fomus19.pdf