Tag Archives: Saunders Mac Lane

Help with #HoTT

C’est ici : https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory A noter le cours d’Awodey sur les catégories : Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap : Steve Awodey est … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Philosophie mathématique | Tagged , ,

#BrunschvicgProgresConscience 2 : la Sagesse est science

Article précédent de ce Hashtag: https://anthroposophiephilosophieetscience.wordpress.com/2017/02/05/brunschvicgprogresconscience-1-lacte-de-naissance-de-la-conscience-en-grece/ Texte du livre de Brunschvicg : http://classiques.uqac.ca/classiques/brunschvicg_leon/progres_conscience_t1/brunschvicg_progres_conscience_t1.doc#c1_s1 “12. Tout l’enseignement de Socrate tiendra dans l’exercice d’une seule fonction : le discernement rationnel. Appliquée directement aux problèmes de l’action, elle inspire directement aussi les manières … Continue reading

Posted in Cochet-Brunschvicg, DIEU, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle | Tagged , , , , , , , , , , , ,

Monades, adjonctions, universel

J’ai reblogué hier, comme préparation à celui ci, qui vise surtout au rappel de plusieurs notions, plusieurs articles techniques sur les monades, en provenance soit de mon autre blog HENOSOPHIA : https://meditationesdeprimaphilosophia.wordpress.com/wp-admin/edit.php soit d’un autre, plus “mathématique”. Cet article servira … Continue reading

Posted in Alain Badiou, category theory, Europe, Higher topos theory, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Plan vital-plan spirituel, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics, Wronski | Tagged , , , , , , , , , , ,

Un argument de plus pour la théorie des catégories comme cadre mathématique de l’Ouvert

Mais qu’est ce donc que “l’esprit”, le “spirituel” dont nous parlons ici pour l’opposer au plan vital-ontologique ? La réponse est donnée très simplement par Léon Brunschvicg dans l’un de ses ouvrages de jeunesse , datant de 1901, mais qui … Continue reading

Posted in Alain Badiou, category theory, Higher category theory, Higher topos theory, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Plan vital-plan spirituel, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Tagged , , , , , , , ,

liens à propos des aspects mathématiques du système de Badiou ;”Badiou’s mistake” d’Antti Veilahti

Quand je parle du système de Badiou, je fais évidemment références aux deux œuvres majeures: L’Etre et l’événement (1988) dont la traduction en anglais est ici : http://www.sok.bz/web/media/video/BeingBadiou.pdf Et “Logiques des mondes” , que l’on trouve aussi, mais là aussi … Continue reading

Posted in Alain Badiou, category theory, Ontologie, Philosophie, Plan vital-plan spirituel, Platon, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Tagged , , , , ,