Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory

DOI10.1007/s10958-006-0344-yzbMath1142.03030OpenAlexW2046369275MaRDI QIDQ2462035

E. I. Bunina, P. V. Andreev, Valeriy K. Zakharov, Alexander V. Mikhalev

Publication date: 23 November 2007

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-006-0344-y

zbMATH Keywords

foundationscategory theoryZermelo-Fraenkel set theorylocal theory of sets

Mathematics Subject Classification ID

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

Related Items

Finite axiomatizability of local set theory

Cites Work

• Gattungen von lokalen Strukturen
• On the formal definition of categories
• Topoi. The categorial analysis of logic
• Lectures in set theory with particular emphasis on the method of forcing
• Lawvere's basic theory of the category of categories
• Structure of categories
• Des catégories abéliennes
• General Theory of Natural Equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item