1994 | OriginalPaper | Chapter
First Properties of Elementary Topoi
Authors : Saunders Mac Lane, Ieke Moerdijk
Published in: Sheaves in Geometry and Logic
Publisher: Springer New York
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this chapter we present elementary conditions (or axioms) that make a category £ a topos, and then develop from these conditions and in a suitable order certain other basic properties. Most of these properties have already been seen to hold for our typical categories discussed in Chapter I, and for the categories of sheaves on a space (Chapter II) or on a site (Chapter III).