nLab
sheaf and topos theory

The theory of toposes in general and of Grothendieck toposes – categories of sheaves – in particular.

See the linked keyword lists at the entries on