Daily Archives: October 21, 2017

Quentin Meillassoux : l’inexistence divine

« L’inexistence divine » est la thèse de Quentin Meillassoux, soutenue en 1997: http://www.theses.fr/1997PA010510 Elle peut être lue sur Scribd et commence par : « De l’inexistence de Dieu s’infère un monde suffisamment insensé pour que Dieu même puisse s’y produire » cette pensée … Continue reading

Posted in ∞-catégories, DIEU, Philosophie, Science-internelle | Tagged

Quentin Meillassoux

Originally posted on Hypokeimenon:
Quentin Meillassoux, né en 1967 est un philosophe français. Normalien, agrégé de philosophie, il est actuellement agrégé-répétiteur à l’École normale supérieure de la rue d’Ulm. Fils de l’anthropologue Claude Meillassoux, Quentin Meillassoux naît à Paris en…

Posted in Philosophie

#HoTT : Voevodsky (2009) notes on Type systems

https://pdfs.semanticscholar.org/4bc5/ab7b810f2b10d04e186667b4647b741a8419.pdf?_ga=2.23829306.1211623468.1508579635-742940545.1491914182 De Voevodsky aussi : Homotopy type systems https://ncatlab.org/homotopytypetheory/files/HTS.pdf

Posted in Homotopy, homotopy type theory

#HoTT : Heller homotopy theories

https://pdfs.semanticscholar.org/1b1c/8539a6f77b6b942bb4e64515526e39109f90.pdf Fait partie des documents indiqués par Joyal: http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

Posted in Philosophie | Tagged ,

#HoTT : André Joyal weak factorisation system

Deux liens sur les deux wikis de la théorie des catégories: https://ncatlab.org/joyalscatlab/published/Weak+factorisation+systems https://ncatlab.org/nlab/show/weak+factorization+system André Joyal explique aussi la notion dans ses notes, par exemple Page 34 et 35 de : http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf qui a été étudiée ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ Page 34 … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory) | Tagged , ,

André Joyal : Catlab

En parallèle et en complément du Nlab: https://ncatlab.org/joyalscatlab/published/HomePage

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, Philosophie mathématique, Théorie des topoi (topos theory) | Tagged