The Topos Of A Connectivity Space
Définition du topos d'un espace connectif
Résumé
In this short note, a topos — called the topos of the connectivity space — is associated with every such space.
Cette courte note définit le topos de Grothendieck associé à un espace connectif.
Origine : Fichiers produits par l'(les) auteur(s)