×

Sets, topoi, and internal logic in categories. (English) Zbl 0313.18001

Logic Colloq. ’73, Proc., Bristol 1973, 119-134 (1975).

MSC:

18-02 Research exposition (monographs, survey articles) pertaining to category theory
03E30 Axiomatics of classical set theory and its fragments
18B05 Categories of sets, characterizations
18A15 Foundations, relations to logic and deductive systems