# nLab Elephant

topos theory

## Theorems

The Elephant is a book on topos theory by Peter Johnstone.

The full title is Sketches of an Elephant: A Topos Theory Compendium. Like Gravitation, the title can be taken to refer not only to the subject matter but also to the immense size and scope of the book itself. Like The Lord of the Rings, it consists of 6 parts arranged evenly into 3 volumes (but without appendices). Actually, Volume 3 has not yet been published (so who knows? it may have appendices after all!).

The Elephant is a good reference for anything related to topos theory, and we may often cite it here. However, it introduced many terminological changes, some of which may not be widely accepted or even known. (Fortunately, it will tell you about these in the text.)

# Contents

(…)

## F Toposes a Mathematical Universes

### F4 Topos theory and set theory

#### F4.4 Independence of the axiom of choice

category: reference

Revised on February 24, 2013 18:34:44 by Urs Schreiber (89.204.153.38)