Daily Archives: January 30, 2018

A seminar on HoTT Equivalences

Originally posted on Homotopy Type Theory:
I recorded our local Seminar on foundations in which I talked about the notion of equivalence in HoTT: Hopefully some people will find some use for it. It is pretty slowly going, and it…

Posted in Philosophie | Comments Off on A seminar on HoTT Equivalences

Internal type theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.cse.chalmers.se/~peterd/papers/InternalTT.pdf

Posted in Philosophie | Comments Off on Internal type theory

Paul Taylor : practical foundations of mathematics

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.paultaylor.eu/~pt/prafm/html/index.html

Posted in Philosophie | Comments Off on Paul Taylor : practical foundations of mathematics

Paul Taylor : foundations for computable topology

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.paultaylor.eu/ASD/foufct/abstract.html

Posted in Philosophie | Comments Off on Paul Taylor : foundations for computable topology