PhilSci Archive

Where do Adjunctions Come From? Chimera Morphisms and Adjoint Functors in Category Theory

Ellerman, David (2025) Where do Adjunctions Come From? Chimera Morphisms and Adjoint Functors in Category Theory. [Preprint]

[img] Text
foundations-3007648-english_Corrected .pdf

Download (760kB)

Abstract

Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunction seeming to be the primary lens. Our topic is a theory showing “where adjoints come from”. The theory is based on object-to-object “chimera morphisms”, “heteromorphisms”, or “hets” between the objects of different categories (e.g., the insertion of generators as a set-to-group map). After showing that heteromorphisms can be treated rigorously using the machinery of category theory (bifunctors), we show that all adjunctions between two categories arise (up to an isomorphism) as the representations (i.e., universal models) within each category of the heteromorphisms between the two categories. The conventional treatment of adjunctions eschews the whole concept of a heteromorphism, so our purpose is to shine a new light on this notion by showing its origin as a het between categories being universally represented within each of the two categories. This heteromorphic treatment of
adjunctions shows how they can be split into two separable universal constructions. Such universals can also occur without being part of an adjunction. We conclude with the idea that it is the universal constructions (adjunctions being an important special case) that are really the foundational concepts to pick out what is important in mathematics and perhaps  in other sciences, not to mention in philosophy.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Ellerman, Daviddavid@ellerman.org0000-0002-5718-618X
Keywords: adjunctions; adjoint functors; heteromorphism; universal mapping properties; representable functors
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Cognitive Science > Action
Specific Sciences > Mathematics
Specific Sciences > Cognitive Science > Perception
Depositing User: Dr. David Ellerman
Date Deposited: 02 Apr 2025 17:41
Last Modified: 02 Apr 2025 17:41
Item ID: 24961
DOI or Unique Handle: 10.3390/foundations5010010
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Cognitive Science > Action
Specific Sciences > Mathematics
Specific Sciences > Cognitive Science > Perception
Date: March 2025
URI: https://philsci-archive.pitt.edu/id/eprint/24961

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item View Item