Topos Cohérent

concept

un topos généré par une collection d'objets quasi-compacts quasi-séparés fermés sous produits finis

Propriétés

Catégories