Axiomatizing a category of categories

DOI10.2307/2275472MaRDI QIDQ3984403zbMATH OpenOpenAlexFDO

Authors Colin McLarty

Publication date 27 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275472

zbMATH Keywords

adjunctionsaxiom of infinityaxiomatizationCartesian closednesscategory of categoriesconsistencydefinabilityindependencetriples

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 3916525
• Category theory based on combinatory logic
• Foundations of unlimited category theory: what remains to be done
• On the Axiomatics of Ann-Categories
• Enriched stratified systems for the foundations of category theory

Cites work

• Elementary axioms for canonical points of toposes
• scientific article; zbMATH DE number 3730851 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Proceedings of the Conference on Categorical Algebra

Cited in

(17)

• Topological categories presented by small sets of axioms
• A hierarchy of axiom system ACG
• Axiomatic description of categories of information transformers
• Towards an axiomatization of the theory of higher categories
• Axiomatizing iteration categories
• scientific article; zbMATH DE number 991590 (Why is no real title available?)
• Abstractionist categories of categories
• scientific article; zbMATH DE number 1366607 (Why is no real title available?)
• scientific article; zbMATH DE number 517016 (Why is no real title available?)
• scientific article; zbMATH DE number 1500615 (Why is no real title available?)
• scientific article; zbMATH DE number 909650 (Why is no real title available?)
• Foundations of unlimited category theory: what remains to be done
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• Set-theoretic foundations
• How to be a structuralist all the way down
• Separable closure in categories
• Categorial modal realism

This page was built for publication: Axiomatizing a category of categories

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