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 41
- Downloads 0
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...
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016
Book Reviews: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2 (Print), 978-3-319-20762-9 (Online)....
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...
Tomasz Jarmużek and Marcin Tkaczyk: “Normalne logiki pozycyjne” (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015
Book Reviews: Tomasz Jarmużek and Marcin Tkaczyk, Normalne logiki pozycyjne (Normal Positional Logics), Wydawnictwo KUL, Lublin (Poland), 2015, 202 pages, ISBN 978-838061-114-6.
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees wit...