Résumé : La méthode générale d’unification introduite dans le cours récemment donné «Les topos de Grothendieck comme ponts unificateurs des mathématiques » se fonde sur la possibilité de caractériser un grand nombre d’invariants topos-théoriques de manière explicite en termes de sites.
On exposera quelques exemples concrets de calculs de telles caractérisations, pour des invariants de type géométrique ou logique. Pour ceux qui ont assisté à la cinquième séance du cours (22 janvier 2013), cela constituera une illustration des deux théorèmes généraux sur l’existence de caractérisations bijectives en termes de sites pour les invariants géométriques et logiques présentés dans ce contexte.
Au sujet de l'inspiration topologique pour les topos et certains de leurs invariants.
Hypothèse : l'invariant considéré est équivalent à l'existence de certaines classes d'objets et flèches faisceautisés.
Alors... (conclusion du méta-théorème) + Remarque : clôture et J-densité plutôt que faisceautisation.
Clôture. Cribles J-fermés et classificateur de sous-objets dans le topos des faisceaux.
Explicitations de certains isos par le site (cribles couvrants, densité).
Une partie du tableau a été coupée.
Séquences du 1er ordre dans la théorie des algèbres de Heyting. Exemples : "être booléen", "être intermédiaire entre classique et intuitionniste", "vérifier De Morgan"...
Ensembles séparants. Atomes.
(séquence coupée intempestivement.)
Utilisation du foncteur l.
Envoyer les cribles sur les atomes. Faisceautisation d'un
sous-prefaisceau d'un J-faisceau = J-clôture.
Sous-objets de $a_J(S)$.
Conjonction des deux conditions. Utilisation de cribles principaux.
Conclusion. Corollaire : une condition connue d'atomicité de Sh(C,J).
Question (L. L.) : théories à topos classifiant atomique ? Contexte de Fraïssé. Topos à
deux valeurs, plongement conjoint et complétude. Remarque épistémologique : les topos comme "fictions utiles" (*) ?
(*) Olivia n'a pas utilisé l'expression de Leibniz "fictions utiles", mais c'est bien ce que signifie sa comparaison avec les nombres imaginaires, dont Cardan découvre la mystérieuse nécessité à l'occasion de son étude des solutions (réelles) des équations du troisième degré (à coefficients réels)...)
être localique = avoir un ensemble séparant d'objets terminaux.
Monomorphies explicitement reformulées par "kernel pair" et densité.
Exemples : topos de préfaisceaux localiques, topos de faisceaux localique dans le cas géométrique.
Opérations logiques sur Omega. Groupoïdes et "discrétude" (*)
(*) discrétude ? eh bien, oui : ça existe ! Voir par exemple ici.
(A propos de dualité, voir aussi ce document pdf d'Olivia Caramello sur les dualités de type Stone)