Category Archives: Science, mathesis

La honteuse agression antisémite subie par Alain Finkielkraut à Paris

https://actu.orange.fr/france/videos/gilets-jaunes-alain-finkielkraut-victime-d-insultes-antisemites-CNT000001d0EDB.html#plmAnchor https://www.lci.fr/social/video-alain-finkielkraut-insulte-et-pris-a-partie-par-des-gilets-jaunes-dans-le-quartier-de-montparnasse-a-paris-2113131.html https://www.lci.fr/politique/certains-voulaient-me-casser-la-gueule-sur-lci-alain-finkielkraut-reagit-a-l-agression-dont-il-a-ete-victime-hier-2113158.html https://www.franceinter.fr/politique/alain-finkielkraut-pris-a-partie-par-des-gilets-jaunes Finkielkraut est un des plus mesurés sur Israël, donc le traiter de « sioniste de merde » c’est équivalent à lui crier « sale juif de merde « .. mais ces gens là n’ont même pas le courage d’assumer Mais … Continue reading

Posted in Alain Badiou, Antisionisme-antisémitisme, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, Descartes, DIEU, FRANCE 2017, Higher category theory, Higher topos theory, Léon Brunschvicg, Macrollande-dictature, Malebranche, nazisme, Occident faustien, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Science, mathesis, Science-internelle, Simone Weil | Leave a comment

#EHTT André Joyal : What is an elementary higher topos EHT ? a tentative definition

Le texte des slides est ici : https://www.msri.org/workshops/689/schedules/18227/documents/2046/assets/20468 Il reprend cette conférence : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf que j’ai commentée ici : https://scienceinternelle.wordpress.com/2019/02/14/hott-mike-shulman-categorical-models-of-homotopy-type-theory/ https://anthroposophiephilosophieetscience.wordpress.com/2019/02/10/la-correspondance-entre-ct-et-hott-selon-andre-joyal/ Mais la vidéo du cours est ici :

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

#EHTT Nima Rasekh : towards algebraic topology in an elementary higher topos (EH- topos = EHT)

Le texte est ici : https://www.uwo.ca/math/faculty/kapulkin/seminars/hottestfiles/Rasekh-2019-02-07-HoTTEST.pdf Une partie en a été commentée ici : https://scienceinternelle.wordpress.com/2019/02/15/ehtt-vs-hott-what-is-an-elementary-higher-topos/ EHTT est à mon sens ce qui va prendre la suite de HoTT , je peux me tromper bien sûr .. et c’est en train … Continue reading

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Leave a comment

#HoTT simplicial set model of type theory : types as Kan complexes

Dans la note déjà étudiée : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf André Joyal cite page 17 sur 39 les travaux d’Awodey, Warren et Voevodsky sur les modèles de la théorie des types dans les ensembles simpliciaux Les types, objets de base de TT , … Continue reading

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

La correspondance entre #CT et #HoTT selon André Joyal

j’ai expliqué ici pourquoi il était nécessaire de réaliser un «  second service » de la partie des articles les plus importants du hashtag #HoTT : https://scienceinternelle.wordpress.com/2019/02/05/theorie-des-ensembles-set-theory-st-theorie-des-categories-category-theory-ct-theorie-des-types-type-theory-tt-et-theorie-homotopique-des-types-homotopy-type-theory-hott/ Les articles portant sur es travaux d’ André Joyal sont incontestablement les plus … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle | Leave a comment

Dominic Verity : enriched categories, internal categories and change of base

https://www.emis.de/journals/TAC/reprints/articles/20/tr20.pdf

Posted in category theory, Higher category theory, Science-internelle

Théorie des catégories internes et modèles de la participation à l’être et à l’Un

Je reviens sur les deux mathèmes définis dans l’article précédent : https://anthroposophiephilosophieetscience.wordpress.com/2018/12/21/brunschvicgprogresconscience-analyse-ascendante-ou-participation-a-lun-et-synthese-descendante-ou-participation-a-letre/ Il y a un problème évident , c’est que si l’être est dual de l’Un, on devrait retrouver cette dualité dans les catégories obtenues comme mathèmes de la … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle