Histoire des mathématiques Concept
topos
Conceptcaté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)
Traduit de l’anglais automatiquement — non relu. « category admitting all finite limits and power objects, that can be viewed as either as a mathematical universe (replacing the category of sets) or as a generalized space (considered as a generalization of the category of sheaves on a space) »
Liens
- a été découvert par
- a pour branche
Sources
- Wikidata CC0-1.0