The elementary theory of the 2-category of small categories
From MaRDI portal
(Redirected from Publication:6524847)
The elementary theory of the 2-category of small categories (scientific article from arXiv)
The elementary theory of the 2-category of small categories (scientific article from arXiv)
Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Categories of sets, characterizations (18B05) Topoi (18B25) Extensive, distributive, and adhesive categories (18B50) Internal categories and groupoids (18D40) 2-categories, bicategories, double categories (18N10)
This page was built for publication: The elementary theory of the 2-category of small categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6524847)
