scientific article
From MaRDI portal
Publication:3344336
zbMath0551.18001MaRDI QIDQ3344336
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveytoposaxioms of choiceGrothendieck universesRuden-Frolik orderingset-theoretic foundation for category theory
Categorical logic, topoi (03G30) Topoi (18B25) Ordered sets (06A99) Axiom of choice and related propositions (03E25) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)
Related Items
Sets with structure, mappings and fixed point property: fixed point structures ⋮ A logic for category theory ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective ⋮ Category theory and the foundations of mathematics: philosophical excavations.
This page was built for publication:
