Elementary topoi

MaRDI QIDQ6354613zbMATH OpenFDO

Authors Jordan Mitchell Barrett

Publication date 25 November 2020

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Structured objects in a category (group objects, etc.) (18C40)

Abstract: As the prototypical category, $mathbfSet$ has many properties which make it special amongst categories. From the point of view of mathematical logic, one such property is that $mathbfSet$ has enough structure to "properly" formalise logic. However, we could ask what it might mean to formalise logic in another category $mathbfC$. The notion of an (elementary) topos distills the essential features of $mathbfSet$ which allow us to do this. This expository report defines topoi, and describes the development of first-order logic and set theory within a topos.

This page was built for publication: Elementary topoi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6354613)