Axiomatizing a category of categories
From MaRDI portal
Publication:3984403
DOI10.2307/2275472zbMath0735.18001MaRDI QIDQ3984403
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
independence; triples; consistency; axiom of infinity; definability; axiomatization; adjunctions; Cartesian closedness; category of categories
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18A15: Foundations, relations to logic and deductive systems
Related Items
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, ABSTRACTIONIST CATEGORIES OF CATEGORIES
Cites Work