Théorie des Topos
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
L'étude des topos comme espaces catégoriques généralisés soutenant des faisceaux, une logique interne et des morphismes géométriques, offrant un cadre unifiant pour la géométrie, la logique et la cohomologie des faisceaux.