Axiomatizing a category of categories

DOI10.2307/2275472zbMath0735.18001OpenAlexW2039505814MaRDI QIDQ3984403

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

independencetriplesconsistencyaxiom of infinitydefinabilityaxiomatizationadjunctionsCartesian closednesscategory of categories

Mathematics Subject Classification ID

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

Related Items (5)

ABSTRACTIONIST CATEGORIES OF CATEGORIES ⋮ Set-theoretic foundations ⋮ FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE ⋮ How to be a structuralist all the way down ⋮ THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE

Cites Work

• Elementary axioms for canonical points of toposes
• Proceedings of the Conference on Categorical Algebra
• Unnamed Item
• Unnamed Item

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