Free Book on Topos Theory

A topos is a category with:

• Finite limits and co-limits,
• Exponentials,
• A subobject classifier.

The following book is now available for free online: Toposes, Triples and Theories by Michael Barr and Charles Wells.