Prise de vue et montage : S. Dugowson
The notion of classifying topos
Introduction to categorical and topos‐theoretic semantics: the notion of geometric theory, syntactic categories, construction of classifying toposes for geometric theories via syntactic sites, universal models and representability, theories classified by a presheaf topos and their quotients.
Note du webmaster : je comprends bien que la dénomination "théorie cohérente" s'accorde avec celle de "faisceau cohérent" en géométrie algébrique (remarque de Laurent Lafforgue), il n'empêche que dans un contexte logique cela sonne tout de même bizarrement, surtout pour les théories qui se retrouvent "incohérentes". On ne peut que s'incliner devant l'usage, mais je prends sur moi de signaler la chose en mettant pour cette fois des guillemets à "cohérent".
(revoir les explications données hier sur le foncteur : site -> topos obtenu en composant Yoneda avec la faisceautisation).
(panne sèche, changement de bobine :)