Journal of Symbolic Logic 56 (4):1243-1260 (1991)
|Abstract||Elementary axioms describe a category of categories. Theorems of category theory follow, including some on adjunctions and triples. A new result is that associativity of composition in categories follows from cartesian closedness of the category of categories. The axioms plus an axiom of infinity are consistent iff the axioms for a well-pointed topos with separation axiom and natural numbers are. The theory is not finitely axiomatizable. Each axiom is independent of the others. Further independence and definability results are proved. Relations between categories and sets, the latter defined as discrete categories, are described, and applications to foundations are discussed|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Sidney R. Lehky (2005). Not All Categories Work the Same Way. Behavioral and Brain Sciences 28 (4):503-503.
Evan Heit & Stephen P. Nicholson (2010). The Opposite of Republican: Polarization and Political Categorization. Cognitive Science 34 (8):1503-1516.
Eleanor Rosch & Carolyn B. Mervis (1975). Family Resemblances: Studies in the Internal Structure of Categories. Cognitive Psychology 7 (4):573--605.
Zoran Petrić (2002). Coherence in Substructural Categories. Studia Logica 70 (2):271 - 296.
Jan Westerhoff (2005). Ontological Categories: Their Nature and Significance. Oxford University Press.
Takashi Ikegami (2005). Dynamical Categories and Language. Behavioral and Brain Sciences 28 (4):500-501.
Sven Ove Hansson (2006). Category-Specified Value Statements. Synthese 148 (2):425 - 432.
Jan Westerhoff (2004). The Construction of Ontological Categories. Australasian Journal of Philosophy 82 (4):595 – 620.
Added to index2009-01-28
Total downloads21 ( #58,654 of 548,984 )
Recent downloads (6 months)2 ( #37,320 of 548,984 )
How can I increase my downloads?