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)|
|Categories||categorize this paper)|
|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.
Sven Ove Hansson (2006). Category-Specified Value Statements. Synthese 148 (2):425 - 432.
Takashi Ikegami (2005). Dynamical Categories and Language. Behavioral and Brain Sciences 28 (4):500-501.
Jan Westerhoff (2005). Ontological Categories: Their Nature and Significance. Oxford University Press.
Zoran Petrić (2002). Coherence in Substructural Categories. Studia Logica 70 (2):271 - 296.
Eleanor Rosch & Carolyn B. Mervis (1975). Family Resemblances: Studies in the Internal Structure of Categories. Cognitive Psychology 7 (4):573--605.
Evan Heit & Stephen P. Nicholson (2010). The Opposite of Republican: Polarization and Political Categorization. Cognitive Science 34 (8):1503-1516.
Jan Westerhoff (2004). The Construction of Ontological Categories. Australasian Journal of Philosophy 82 (4):595 – 620.
Added to index2009-01-28
Total downloads22 ( #62,675 of 722,863 )
Recent downloads (6 months)1 ( #60,917 of 722,863 )
How can I increase my downloads?