Lawvere's basic theory of the category of categories

DOI10.2307/2272263zbMath0319.02059OpenAlexW2083998577MaRDI QIDQ4081249

Georges Blanc, Anne Preller

Publication date: 1975

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272263

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)

Related Items (2)

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

Cites Work

• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Unnamed Item

This page was built for publication: Lawvere's basic theory of the category of categories