This page is to record the reference:
Elementary Categories, Elementary Toposes
Oxford University Press (1992)
on category theory and (elementary) topos theory.
The terminology “fundamental theorem of topos theory” may originate here, where it is proven in the generality of elementary toposes.
Last revised on September 17, 2025 at 14:57:56. See the history of this page for a list of all contributions to it.