Maclane, Saunders Sets, topoi, and internal logic in categories. (English) Zbl 0313.18001 Logic Colloq. ’73, Proc., Bristol 1973, 119-134 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents 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 × Cite Format Result Cite Review PDF