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.[1] De Grothendieck-topoi vinden toepassingen in de algebraïsche meetkunde; de meer algemene elementaire topoi worden in de logica gebruikt.