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