Category Archives: homotopy type theory

Kerodon : un site sur la théorie catégorique de l’homotopie maintenu par Jacob Lurie

https://kerodon.net/tag/0000 Chapitre 1: https://kerodon.net/tag/0001 Categories}+{Homotopy Theory}={∞-Categories}, Un bon résumé de ce que c’est que la théorie des ∞-catégories: ∞CT = CT + HoTT

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

#∞-cosmoi #ScienceInternelle prolégomènes aux quasicatégories et à qCat catégorie des quasicatégories

https://fr.m.wikipedia.org/wiki/Quasi-catégorie Rappelons cette figure : où qCat ,CSS ( espaces complets de Segal) , ainsi que les ∞-cosmoi des catégories de Segal et celui des catégories simpliciales sont envisagées comme catégories de modèles au sens de Quillen (« Quillen model … Continue reading

Posted in ∞-catégories, ∞-cosmoi, category theory, Higher category theory, homotopy type theory, HTTUF, Philosophie mathématique, Quasicatégories, Science-internelle

#∞-cosmoi #ScienceInternelle Commencement du travail de recherche sur les ∞-cosmoi de Riehl et Verity orienté vers l’Idée d’Idée ou Étendue Intelligible

Cet article récent : https://anthroposophiephilosophieetscience.wordpress.com/2020/01/01/le-salut-cest-lelevation-de-la-conscience-a-leternite-cest-a-dire-a-limmanence-radicale-qui-est-le-pouvoir-dactualisation-de-la-reflexion-ou/ a plusieurs implications importantes sur les thèses (ou plutôt hypothèses) avancées ici. Désormais je ne défends plus une distinction tranchée entre Idée (Non humaine) et modèles mathématiques  humains ou mathèmes de celle ci : »les … Continue reading

Posted in ∞-cosmoi, category theory, Cochet-Brunschvicg, DIEU, HTTUF, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

#ToposTheory (suite 3) la faute de Badiou

Je suis loin d’avoir épuisé les ressources , qui semblent inépuisables, de l’article d’Antti Veilahti  «  Alain Badiou’s mistake « : https://arxiv.org/pdf/1301.1203.pdf Dans «Logiques des mondes «  Badiou aborde la théorie des topoi par le biais des T-sets, aussi appelés … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Grothendieck, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

Introduction to ∞-categories

https://pages.uoregon.edu/njp/tanaka.pdf

Posted in category theory, EHTT, Higher category theory, homotopy type theory, HTTUF, Science, mathesis

#HigherToposTheory #HTTUF Leeds 2019 HTT-UF school :minicourse on Higher topos theory references

tout un tas d’articles intéressants dans ce domaine http://conferences.leeds.ac.uk/httuf/wp-content/uploads/sites/43/2019/06/outline-and-references-higher-topos.pdf  

Posted in ∞-catégories, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Philosophie, Science, mathesis

Relations entre #HoTT et la théorie des catégories : page du Nlab

Cette page plus générale porte sur les liens entre la théorie des types et la théorie des catégories : https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory Il s’agit d’un exemple de dualité entre syntaxe et sémantique : https://ncatlab.org/nlab/show/syntax-semantics+duality la théorie des catégories  pouvant être considérée comme … Continue reading

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