Daily Archives: September 7, 2018

Nicola Gambino cours III : homotopical models of type theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
Venant à la suite de : https://anthroposophiephilosophieetscience.wordpress.com/2018/09/04/nicola-gambino-cours-ii-homotopical-algebra/ Le texte de ce cours III est ici : http://www1.maths.leeds.ac.uk/~pmtng/Slides/HoTT-Lecture3.pdf Situation : on…

Posted in ∞-catégories, category theory, Higher category theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle

Lumsdaine, Warren : an overlooked construction for dependant type theories

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://arxiv.org/abs/1411.1736 cité par Joyal dans http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf Page 12 sur 75 , à propos de la relation entre tribus (tribes) et…

Posted in Philosophie

Towards the syntax and semantics of higher dimensional type theory

https://hott-uf.github.io/2018/slides/KrausHoTTUF2018.pdf

Posted in homotopy type theory