Topos (wiskunde)
In de categorietheorie, een deelgebied van de wiskunde, is een topos (meervoud: topoi) een categorie die zich gedraagt als de categorie van schoven van verzamelingen  op een topologische ruimte (of meer algemeen: op een site). Topoi gedragen zich net zoals de categorie van verzamelingen en beschikken over een notie van lokalisatie; ze zijn in zekere zin een veralgemening van de puntenverzamelingtopologie. De Grothendieck-topoi vinden toepassingen in de algebraïsche meetkunde; de meer algemene elementaire topoi worden in de logica gebruikt.

Voetnoten

Homologische algebra
Categorietheorie