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

consistencyindependenceadjunctionsaxiomatizationdefinabilityCartesian closednessaxiom of infinitytriplescategory of categories

Mathematics Subject Classification ID

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) Foundations, relations to logic and deductive systems (18A15)

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

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

Cited in

(14)

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

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)