How Category Theory Works

Abstract

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Topologies and free constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.
An abstract elementary class nonaxiomatizable in.Simon Henry - 2019 - Journal of Symbolic Logic 84 (3):1240-1251.
An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
Category Free Category Theory and Its Philosophical Implications.Michael Heller - 2016 - Logic and Logical Philosophy 25 (4):447-459.
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Sets, classes, and categories. [REVIEW]F. A. Muller - 2001 - Bulletin of Symbolic Logic 9 (1):43-43.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
A theorem on barr-exact categories, with an infinitary generalization.Michael Makkai - 1990 - Annals of Pure and Applied Logic 47 (3):225-268.
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.

Analytics

Added to PP
2020-07-11

Downloads
340 (#54,143)

6 months
96 (#37,124)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Ellerman
University of Ljubljana

Citations of this work

No citations found.

Add more citations