Topos (wiskunde)

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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.

Voetnoten[bewerken]

  1. Luc Illusie, What is...A Topos?, Notices of the American Mathematical Society, 2004, vol. 51, issue 9, blz. 160–161, zie hier