La table d’émeraude et la première règle pour la direction de l’esprit de Descartes.via La table d'émeraude et la première règle pour la direction de l'esprit de Descartes.
Archives mensuelles : juillet 2015
Dostoievski : les carnets du sous-sol
#GrothendieckTopos 5 idée centrale du cours sur les topoi de Grothendieck comme ponts unifiants
Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια
Dans l’article précédent à propos du cours d’Olivia Caramello:
https://mathesisuniversalis.wordpress.com/2015/07/22/grothendiecktopos-4-faisceaux-sur-un-site-topos-de-grothendieck/
nous étions arrivés à la définition des topoi de Grothendieck comme catégories de la forme :
Sh(C,J)
c’est à dire des catégories de faisceaux sur un site, un site étant une paire (C,J) d’une catégorie C et d’une topologie de Grothendieck.
Aujourd’hui nous regardons la vidéo 6 du cours d’Olivia:
https://sites.google.com/site/logiquecategorique/cours/topos_caramello/cours-du-14-janvier-2013-rappels-sur-les-topos-de-grothendieck#TOC-L-id-e-centrale-de-ce-cours-:-la-non-canonicit-comme-atout
ayant pour titre « L’idée centrale de ce cours : la non-canonicité comme atout ».
A vrai dire la définition d’un topos de Grothendieck est celle donnée ci dessus mais à une équivalence près : c’est une catégorie de la forme Sh(C,J) ou une catégorie équivalente.
Une équivalence entre catégories est une notion un peu plus souple qu’un isomorphisme de categories (c’est à dire l’existence d’un foncteur inversible entre les deux), pour l’équivalence on ne requiert plus l’isomorphisme strict:
https://fr.m.wikipedia.org/wiki/Équivalence_de_catégories
C’est ce qu’Olivia veut dire en faisant remarquer que cette définition…
Voir l’article original 299 mots de plus
Notre combat contre l’islam est un combat pour les droits de l’homme et sa dignité
« Juifs et musulmans » : les âneries grotesques de la chaîne islamo-collabo ARTE
Bill Warner : pourquoi avons nous peur de l’Islam ? Vidéo à voir de TOUTE URGENCE
Ingmar Bergman : l’œuf du serpent (1977)
L’humanité est dans les ténèbres …sur la théorie des « higher categories »
Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια
Vous rappelez vous cet article ?
Morphismes géométriques et 2-catégorie Topos des topoi comme cadre général de nos travaux
Si vous suivez les travaux entrepris ici, mettez le dans un coin de votre tête car il définit le cadre de ces travaux (enfin pour l’instant) et je cherche sans arrêt à glaner des connaissances sur cette 2-categorie >Topos
Or je viens de tomber sur cette question dans « Mathoverflow », et surtout le dialogue qui s’ensuit:
http://mathoverflow.net/questions/5457/omega-topos-theory
question posée par quelqu’un qui lit le livre de près de mille pages de Jacob Lurie, donc nettement en avance sur nous.
Voici trois réponses typiques qu’il provoque et qui semblent doucher son bel enthousiasme:
« The short answer is no. Even 2-toposes are poorly understood — we don’t know what the right definition is. For higher dimensions, including ∞, we definitely don’t have the answers.
…..
the ignorance of humanity on higher categories should never…
Voir l’article original 319 mots de plus
Vous devez être connecté pour poster un commentaire.