Topos (wiskunde)
In de categorietheorie, een deelgebied van de wiskunde, is een topos, meervoud: topoi, een categorie met dezelfde eigenschappen als de categorie van schoven van verzamelingen op een topologische ruimte, of meer algemeen: op een site. De wiskunde van topoi en van de categorie van verzamelingen komen overeen en topoi beschikken over een notie van lokalisatie, ze zijn in zekere zin een algemene vorm van de topologie van puntenverzamelingtopologie.[1] De Grothendieck-topoi vinden toepassingen in de algebraïsche meetkunde en de meer algemene elementaire topoi worden in de logica gebruikt.
Voetnoten
|