Category Archives: homotopy type theory

#ScienceInternelle La thèse des modèles mathématiques ou mathèmes d’une Idée

Sur ce blog, j’ai commencé par affirmer que toutes les Idées sont des créations humaines et sont « mathématiques », c’est à dire selon moi nées de la pratique mathématique depuis les Grecs. Puis j’ai tempéré cette thèse, qui peut apparaître comme … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Higher category theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Quasicatégories, Science, mathesis, Science-internelle | Leave a comment

Leibniz : la #ScienceInternelle ou #MathesisUniversalis comparée à un téléscope pour contempler les Idées

https://anthroposophiephilosophieetscience.wordpress.com/la-conception-langagiere-de-la-mathesis-universalis-par-leibniz/ « Quel grand bonheur ce serait, croyez moi, si un tel langage s’était déjà établi il y a cent ans ! Car les arts se seraient développés avec une rapidité miraculeuse et, du fait que les capacités de l’esprit humain … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Higher category theory, Higher topos theory, homotopy type theory, Macrollande-dictature, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Plan vital-plan spirituel, Science, mathesis, Science-internelle | Leave a comment

#HigherCategoryTheory Indépendance de la théorie des (∞,1)-catégories vis à vis des modèles

Un nouvel article en format « slides «  de Riehl et Verity, à la conférence CT2018: http://www.math.jhu.edu/~eriehl/ct2018.pdf A étudier parallèlement à cet autre : http://www.math.jhu.edu/~eriehl/HoTTEST.pdf Que sont les modèles de la théorie des (∞,1)-catégories ? Ce sont les ∞-cosmoi, qui sont … Continue reading

Posted in ∞-catégories, ∞-cosmoi, DIEU, Homotopy, homotopy type theory, Science-internelle

La mort de Vladimir Voevodsky à 51 ans

https://news.ycombinator.com/item?id=15375717 « “I had in a few months acquired a very considerable experience of visions, voices, periods when parts of my body did not obey me and a lot of incredible accidents. The most intense period was in mid-April 2007 when … Continue reading

Posted in category theory, DIEU, Higher category theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Voevodsky : a C-system defined by a universe category

https://arxiv.org/pdf/1409.7925.pdf

Posted in category theory, Higher category theory, homotopy type theory, Science, mathesis, Science-internelle

#HigherCategoryTheory catégories doubles et triples, multiples, intercatégories, polycatégories, multicatégories , PROP

Jusqu’ici nous avons croisé les catégories supérieures surtout à travers le livre de Jacob Lurie dans le hashtag #HigherToposTheory https://anthroposophiephilosophieetscience.wordpress.com/2017/04/19/highertopostheory-un-nouveau-guide-de-lecture/ mais il existe une autre manière de concevoir la progression vers les n-catégories et les ∞-catégories, comme cet article de … Continue reading

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

Tangle with categories;knot theory and category theory

La théorie des noeuds (knot theory) est très liée à la théorie des catégories http://math.ucr.edu/home/baez/tangles.html https://www.quora.com/What-is-the-importance-of-knot-theory-to-category-theory https://www.worldscientific.com/worldscibooks/10.1142/4542 http://maths.mq.edu.au/~street/PilletRapport.pdf On y trouve même des alternatives à la blockchain https://blog.singulargarden.com/fr/posts/alternative-blockchain-avec-tangle/

Posted in category theory, Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)