scientific article; zbMATH DE number 3877384

MaRDI QIDQ3344336zbMATH OpenFDO

Authors Andreas Blass

Publication date 1984

zbMATH Keywords

axioms of choiceGrothendieck universesRuden-Frolik orderingset-theoretic foundation for category theorysurveytopos

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Categorical logic, topoi (03G30) Ordered sets (06A99) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 5347933
• Category theory versus set theory and algebraic structure
• Some contribution to category theory and set theory
• Category theoretic structure of setoids
• Some proposals for the set-theoretic foundations of category theory
• Category theory and set theory as theories about complementary types of universals
• Categoricity theorems and conceptions of set
• scientific article; zbMATH DE number 3346619
• scientific article; zbMATH DE number 2074342
• scientific article; zbMATH DE number 7599487

Cited in

(17)

• All topoi are localic or why permutation models prevail
• Category theory and the foundations of mathematics: philosophical excavations.
• A universal algebraic set theory built on mereology with applications
• Some proposals for the set-theoretic foundations of category theory
• scientific article; zbMATH DE number 5347923 (Why is no real title available?)
• scientific article; zbMATH DE number 5347933 (Why is no real title available?)
• scientific article; zbMATH DE number 3916525 (Why is no real title available?)
• scientific article; zbMATH DE number 1941694 (Why is no real title available?)
• scientific article; zbMATH DE number 2074342 (Why is no real title available?)
• Category theory and set theory as theories about complementary types of universals
• NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS
• On the distinction between sets and classes: a categorical perspective
• Separable closure in categories
• Sets with structure, mappings and fixed point property: fixed point structures
• On the differentiation of integrals in measure spaces along filters. II.
• A logic for category theory
• Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3344336)