Category Free Category Theory and Its Philosophical Implications
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 4
Abstract
There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relations hold, entirely eliminated. Category theory seems to be the correct mathematical theory for clarifying conceptual possibilities in this respect. In this theory, objects acquire their identity either by definition, when in defining category we postulate the existence of objects, or formally by the existence of identity morphisms. We show that it is perfectly possible to get rid of the identity of objects by definition, but the formal identity of objects remains as an essential element of the theory. This can be achieved by defining category exclusively in terms of morphisms and identity morphisms (objectless, or object free, category) and, analogously, by defining category theory entirely in terms of functors and identity functors (categoryless, or category free, category theory). With objects and categories eliminated, we focus on the “philosophy of arrows” and the roles various identities play in it (identities as such, identities up to isomorphism, identities up to natural isomorphism ...). This perspective elucidates a contrast between “set ontology” and “categorical ontology”.
Authors and Affiliations
Michael Heller
Keywords
Related Articles
- EP ID EP202199
- DOI 10.12775/LLP.2016.013
- Views 42
- Downloads 0
Composition, identity, and emergence
Composition as Identity (CAI) is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently...
Aristotle's Correspondence Theory of Truth and What Does Not Exist
While nowhere does he use the term to refer to his own theory, Aristotle is often thought to exemplify an early correspondence theory of truth. In the paper, I examine the textual evidence used to support the idea that A...
Partial and paraconsistent three-valued logics
On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This art...
Mereology and truth-making
Many mereological propositions are true contingently, so we are entitled to ask why they are true. One frequently given type of answer to such questions evokes truth-makers, that is, entities in virtue of whose existence...
Composition as identity and plural Cantor's theorem
In this paper, I argue that the thesis of Composition as Identity blocks the plural version of Cantor’s Theorem, and that this in turn has implications for our use of Cantor’s theorem in metaphysics. As an example, I sho...