Hoofdmenu openen

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.

VoetnotenBewerken

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