Daily Archives: January 31, 2018

Cisinski : higher categories and homotopical algebra

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
http://www.mathematik.uni-regensburg.de/cisinski/CatLR.pdf

Posted in Philosophie

Joyal’s catlab : homotopical algebra

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://ncatlab.org/joyalscatlab/published/Homotopical+algebra

Posted in Philosophie

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 … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Philosophie

Harold Simmons : an Introduction to category theory

http://www.cs.man.ac.uk/~hsimmons/zCATS.pdf

Posted in category theory, Science, mathesis

#HoTT : L’événement spirituel de la théorie homotopique des types

S’il est vrai, comme le disait Léon Brunschvicg il y a environ 90 ans , que « Le fait décisif de l’histoire, ce serait donc, à nos yeux, le déplacement dans l’axe de la vie religieuse au XVIIe siècle, lorsque la … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle

Bart Jacobs : categorical Logic and type theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://people.mpi-sws.org/~dreyer/courses/catlogic/jacobs.pdf

Posted in Philosophie

Kapranov, Voevodsky : infinity-groupoids and homotopy types

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://eudml.org/doc/91469

Posted in Philosophie