Bibliografia
Principal
- Categories for the Working Mathematician: Saunders Mac Lane 1998 Springer, 2a edição.
- Sheaves in Geometry and Logic - A First Introduction to Topos Theory: Saunders Mac Lane e Ieke Moerdijk 1992 Springer
- Stone Spaces: Peter T. Johnstone 1982 Cambridge
Secundária
- Handbook of Categorical Algebra I, II & III.: Francis Borceux 1994 Cambridge University Press
- Sketches of an Elephant: a Topos Theory Compendium, 1 & 2: Peter T. Johnstone 2002 Oxford University Press