Up with categories, down with sets; Out with categories, in with sets!

Kirby, Jonathan ORCID: https://orcid.org/0000-0003-4031-9107 (2024) Up with categories, down with sets; Out with categories, in with sets! Philosophia Mathematica. ISSN 0031-8019

Preview

PDF (updown_v5) - Accepted Version Available under License Creative Commons Attribution. Download (210kB) | Preview

Abstract

Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for “looking down” or “in” at subsets and the category-theoretic approach is the most practical for “looking up” or “out” at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.

Item Type:	Article
Faculty \ School:	Faculty of Science > School of Mathematics
UEA Research Groups:	Faculty of Science > Research Groups > Logic
Depositing User:	LivePure Connector
Date Deposited:	04 Mar 2024 18:37
Last Modified:	16 Apr 2024 08:30
URI:	https://ueaeprints.uea.ac.uk/id/eprint/94539
DOI:	10.1093/philmat/nkae010

Downloads

Actions (login required)

View Item