Axiomatizing a category of categories

DOI10.2307/2275472zbMATH Open0735.18001OpenAlexW2039505814MaRDI QIDQ3984403FDOQ3984403

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proceedings of the Conference on Categorical Algebra
• Elementary axioms for canonical points of toposes

Cited In (14)

• 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
• Title not available (Why is that?)
• Foundations of unlimited category theory: what remains to be done
• Title not available (Why is that?)
• Title not available (Why is that?)
• THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE
• Topological categories presented by small sets of axioms
• Axiomatic description of categories of information transformers
• Abstractionist categories of categories
• Set-theoretic foundations

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)