Category Archives: category theory

Cat, catégorie des (petites) catégories , est un typos

C’est un théorème de Lamarche- voir cette note de Joyal : page 58 sur 75 http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf Sur la notion de typos : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/ Cette notion est définie dans la note de Joyal donnée au début http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf page 56 sur 75 … Continue reading

Posted in category theory, homotopy type theory, Philosophie, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

#HoTT : la théorie homotopique des types pour sortir de l’opposition thématisée par Badiou

Au début de ce blog figure cet article datant de Mars 2015 : https://anthroposophiephilosophieetscience.wordpress.com/2016/03/15/les-deux-theories-mathematiques-privilegiees-par-badiou-topoi-et-ensembles-correspondant-aux-deux-plans-vital-ontologique-et-spirituel/ et la situation n’a pas changé avec le récent ouvrage « L’immanence des vérités «  où Badiou écrit dans l’Introduction générale page 18: « Le regretté Jean Toussaint … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory)

La stratégie de Badiou pour destituer l’ Un : la hiérarchie cumulative V des ensembles comme « lieu absolu » où « être et penser sont la même chose » (Parménide)

Le thème central de « l’immanence des vérités » (l’être et l’evenement 3) est l’opression de la finitude « imposée » à l’être humain, oppression religieuse, étatique, par les nécessités de l’économie ou du « réel » : « contre le schème libérateur, quoiqu’interne à la mort … Continue reading

Posted in Alain Badiou, category theory, Philosophie, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Maps I : relative to a factorization system

ftp://kestrel.edu/pub/papers/pavlovic/mapsI-JPAA95.pdf

Posted in Allegory theory, category theory, homotopy type theory

Retour sur mathèmes, mythèmes et logoi

Il y a d’une part les Idées, divines, intelligibles, éternelles ou plutôt intemporelles, internelles, situées en l’Etendue intelligible, « en Dieu » et d’autre part les idées humaines qui sont de trois sortes : mathèmes, mythèmes et logoi . Les mathèmes sont … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Higher category theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Du Concept à la Mathesis

Le Concept chez Hegel est selon Kojeve la « totalité intégrée de toutes les notions non contradictoires, et Hegel déclare : «  le Temps est le Concept existant empiriquement » (« Der Zeit ist Der Daseienda Begriff ») Ici , les notions non contradictoires … Continue reading

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

Mathèmes, mythèmes et logoi

Dans cet article récent : https://anthroposophiephilosophieetscience.wordpress.com/2018/09/19/nouvelle-terminologie-idees-mathemes-et-mythemes/ le terme « mythème «  a été retenu pour désigner les idées humaines qui ne sont pas des mathèmes, des idées mathématiques modèles d’Idées intelligibles. Il était donc considéré comme synonyme de ce que Léon … Continue reading

Posted in category theory, DIEU, Higher category theory, Islam, nazisme, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Religions, Science, mathesis, Science-internelle