topos

Concept

catégorie admettant toutes les limites finies et les objets des parties, pouvant être vue soit comme un univers mathématique (remplaçant la catégorie des ensembles), soit comme un espace généralisé (considéré comme une généralisation de la catégorie des faisceaux sur un espace)