Topos

Voir avant : Faisceaux Catégories
L'observation fondamentale de Grothendieck est le fait qu'essentiellement quand on considère les faisceaux sur un espace topologique, il y a deux structures qui sont fondamentales dans cette définition : Ce sont ces ingrédients qui sont essentiels et suffisants pour la définition du topos.

Histoire

Topos en logique

Topos d'ordre supérieur