Huet Saibi : constructive category theory

http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=07BBAC40F41DEA6BB1DBAD8FEBF51BC4?doi=10.1.1.39.4193&rep=rep1&type=pdf

La référence en est donnée dans ce travail :

https://ac.els-cdn.com/S1571066108000431/1-s2.0-S1571066108000431-main.pdf?_tid=060831e8-0697-11e8-afd7-00000aab0f6c&acdnat=1517410814_f7a511aaa057bd30bfb1f2309add12c3

page 3 sur 15 (p139 du texte) qui parle d’une expérience précédente d’une formalisation de la théorie des catégories dans le cadre de la théorie constructive des types (Inside constructive type theory)

Voir aussi

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/26/definition-des-∞1-categories-dans-le-cadre-de-hott/

Advertisements
This entry was posted in category theory, Higher category theory, homotopy type theory, Philosophie. Bookmark the permalink.