This page hosts material related to the textbook:
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 October 12, 2021 at 08:45:45. See the history of this page for a list of all contributions to it.