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 37
- Downloads 0
Set-theoretic mereology
We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the...
The lattice of Belnapian modal logics: Special extensions and counterparts
Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes (or...
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...
Sequents for non-wellfounded mereology
The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.
The Need for Pluralism of Causality
It will be shown in this article that a pluralism of causality is needed. Not only, as might be expected, for such different domains as natural sciences and humanities, but even within the domain of physics different cau...