Dans cet exposé, l’auteur précise le concept de topos introduit par Grothendieck au début des années soixante dans le but d’exporter des notions et constructions topologiques ou géométriques dans des contextes où il n’y avait pas d’espaces topologiques au sens strict.
Voici le plan de l’exposé :
– La nature multiforme des topos
– Les topos comme espaces topologiques généralisés
– Les topos comme univers
– Les topos comme espaces qualifiants
– La réception des topos
– La vision et l’outil
– « Sites sans topos », »topos sans sites »
– Les topos comme « ponts » : vision sous-jacente et quelques exemples
– Les principes clés
– Quelques exemples de ponts
– Perspectives futures