The Topos Of A Connectivity Space

Définition du topos d'un espace connectif

Stéphane Dugowson (1)

1 QUARTZ - Laboratoire QUARTZ

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.

Mots clés: Topoi. Connectivity spaces

Mots clés: Topos de Grothendieck. Espaces connectifs.

Domaines: Topologie générale [math.GN]; Catégories et ensembles [math.CT]

Stéphane Dugowson. Définition du topos d'un espace connectif. 2016. ⟨hal-01381304v3⟩