Archives mensuelles : novembre 2019

Contre les conceptions scientistes des cinglés trans-humanistes comme Laurent Alexandre

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

https://ripostelaique.com/laurent-alexandre-un-transhumaniste-fou-furieux-deja-soumis-a-lislam.html

https://fr.m.wikipedia.org/wiki/Laurent_Alexandre

Dans ce blog, et l’on peut vérifier, je mets en avant une toute autre conception de la Science, inspirée de Brunschvicg et Malebranche : il n’y a de science que mathématique, et la mathématique vise à créer des mathèmes, sortes de téléscopes permettant de « voir » les Idées divines en l’Etendue intelligible ( c’est la thèse malebranchiste de la « vision en Dieu »)

Les thèses de Laurent Alexandre , c’est la science restreinte au plan vital , visant la puissance , économique ou militaire; or la Science doit être utilisée pour permettre l’accès au plan spirituel des Idées : science sans conscience n’est que ruine de l’âme .

Voir l’article original

#GrothendieckTopos Laurent Lafforgue : invariants d’un topos

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

Suite de :

https://anthroposophiephilosophieetscience.wordpress.com/2019/08/16/grothendiecktopos-expose-de-laurent-lafforgue-sur-le-role-important-des-topos-de-grothendieck/

La version longue, complète de la note de Caramello et Lafforgue est ici :

http://preprints.ihes.fr/2016/M/M-16-26.pdf

Page 14 :

un topos est défini comme une catégorie « spéciale »,  équivalente à la catégorie des faisceaux d’ensembles E(C,J) sur un site (C,J), c’est à dire une catégorie C « petite » ( telle que la collection de ses objets forme un ensemble, non une classe) munie d’une topologie de Grothendieck J

https://fr.m.wikipedia.org/wiki/Site_(mathématiques)

https://en.m.wikipedia.org/wiki/Grothendieck_topology

https://renatuscartesiusmathesisuniversalis.wordpress.com/2015/07/01/grothendiecktopos-3-topologie-de-grothendieck-sur-une-categorie/

Pour une petite catégorie C un préfaisceau d’ensembles sur C est un foncteur contravariant :

C_op —————> Ens ( Le topos des ensembles)

les préfaisceaux sur C forment une catégorie qui est un topos.

Deux exemples de topoi qui sont des catégories de préfaisceaux :

Set, comme topos des préfaisceaux sur la catégorie ayant un seul objet

Les ensembles simpliciaux

https://fr.m.wikipedia.org/wiki/Ensemble_simplicial

comme catégorie des préfaisceaux sur la catégorie  simpliciale ∆

https://fr.m.wikipedia.org/wiki/Catégorie_simpliciale

Les invariants d’un…

Voir l’article original 1 571 mots de plus

Chapitre VIII du livre en préparation de Laurent Lafforgue : « symétries, invariants, quotients « 

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

https://tcsc.lakecomoschool.org/files/2018/07/Lafforgue.pdf

Voir aussi

http://preprints.ihes.fr/2016/M/M-16-26.pdf

Dans le cadre des topos, la notion appropriée est celle d’équivalence de catégories

https://fr.m.wikipedia.org/wiki/Équivalence_de_catégories

Un invariant d’un topos est tout objet, propriété, procédé de construction qu’il est possible de définir dans un topos et invariant par équivalence de catégories

il existe une infinité d’invariants des topos.

Un topos est défini comme une catégorie équivalente à  la catégorie des faisceaux d’ensembles sur un site.

un site est défini comme la donnée (C,J) d’une petite catégorie C munie d’une topologie de Grothendieck J

Un préfaisceau sur C est un foncteur contravariant :

C_op  ——————-> Ens catégorie des ensembles

Pour toute C la  catégorie E (C) des préfaisceaux est un topos.

Ens est un topos, comme catégorie des  préfaisceaux sur la catégorie triviale à un seul objet.

La catégorie des ensembles simpliciaux est un topos, comme catégorie des préfaisceaux sur la catégorie simpliciale.

https://fr.m.wikipedia.org/wiki/Catégorie_simpliciale

Voir l’article original