The elementary theory of the 2-category of small categories
From MaRDI portal
Publication:6524847
arXiv2403.03647MaRDI QIDQ6524847
Categorical logic, topoi (03G30) Topoi (18B25) Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30) Categories of sets, characterizations (18B05) 2-categories, bicategories, double categories (18N10) Foundations, relations to logic and deductive systems (18A15) Internal categories and groupoids (18D40) Extensive, distributive, and adhesive categories (18B50)
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)
