Archives mensuelles : juillet 2015

La table d’émeraude et la première règle pour la direction de l’esprit de Descartes

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.

#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

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 ?

https://mathesisuniversalis.wordpress.com/2015/06/24/morphismes-geometriques-et-2-categorie-topos-des-topoi-comme-cadre-general-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 be underestimated. The answer to almost any intelligent question is « no…

Voir l’article original 308 mots de plus