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