## A Theory of Adjoint Functors —with some Thoughts about their Philosophical Significance (2005)

Citations: | 2 - 1 self |

### BibTeX

@MISC{Ellerman05atheory,

author = {David Ellerman},

title = {A Theory of Adjoint Functors —with some Thoughts about their Philosophical Significance},

year = {2005}

}

### OpenURL

### Abstract

The question “What is category theory ” is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of mathematical interest are usually characterized by some universal mapping property so the general thesis is that category theory is about determination through universals. In recent decades, the notion of adjoint functors has moved to center-stage as category theory’s primary tool to characterize what is important and universal in mathematics. Hence our focus here is to present a theory of adjoint functors, a theory which shows that all adjunctions arise from the birepresentations of “chimeras ” or “heteromorphisms ” between the objects of different categories. Since representations provide universal mapping properties, this theory places adjoints within the framework of determination through universals. The conclusion considers some unreasonably effective analogies between these mathematical

### Citations

921 |
Categories for the working mathematician
- Lane
- 1998
(Show Context)
Citation Context ...death grip’ on foundations (and although my 1971 dissertation [10] was on generalizing ultraproducts 1 Some familiarity with basic category theory is assumed. Whenever possible, I will follow MacLane =-=[28]-=- on notation and terminology. Proofs will be avoided in favor of citations to the literature unless “the pudding is in the proof.” 2to sheaves), I do not believe that the foundational importance of C... |

377 | Basic concepts of enriched category theory, volume 64
- Kelly
- 1982
(Show Context)
Citation Context ...eated using bifunctors of the form Het : X op × A → Set. Such bifunctors and generalizations replacing Set by other categories have been studied by the Australian school under the name of profunctors =-=[23]-=-, by the French school under the name of distributors [4], 6and by William Lawvere under the name of bimodules [27]. 3 However, the guiding interpretation has been interestingly different. “Roughly s... |

251 | Neural Darwinism: The theory of neuronal group selection - Edelman - 1987 |

188 | Sheaves in Geometry and Logic. A First Introduction to Topos Theory - Lane, Moerdijk - 1992 |

166 |
Functorial Semantics of Algebraic Theories
- Lawvere
- 1963
(Show Context)
Citation Context ...t uses the ‘official’ hom-set definition of an adjunction. It might be useful to briefly restate the ideas using William Lawvere’s comma category definition of an adjunction in his famous 1963 thesis =-=[25]-=-. Given three categories A, B, and C and two functors A : A → C ← B : B the comma category (A, B) has as objects the morphism in C from a value A(a) of the functor A : A → C to a value B(b) of the fun... |

113 |
Metric spaces, generalized logic, and closed categories
- Lawvere
- 1974
(Show Context)
Citation Context ...categories have been studied by the Australian school under the name of profunctors [23], by the French school under the name of distributors [4], 6and by William Lawvere under the name of bimodules =-=[27]-=-. 3 However, the guiding interpretation has been interestingly different. “Roughly speaking, a distributor is to a functor what a relation is to a mapping” [5, p. 308] (and hence the name “profunctor”... |

96 | Handbook of Categorical Algebra 1: Basic Category Theory - Borceux - 1994 |

67 |
Categories of continuous functors
- Freyd, Kelly
(Show Context)
Citation Context ...−→ (Ga, FGa) that makes the upper triangle and thus the square commutes. Adjointness is closely related to the notion of a factorization system for orthogonal sets of maps such as epis and monos (see =-=[18]-=- or [34]). The motivating example for factorization systems of maps was the example of epimorphisms and monomorphisms. The unit and counit in any adjunction have a closely related property. For instan... |

62 | 1992] Elementary Categories, Elementary Toposes - McLarty |

61 | Abelian categories. An introduction to the theory of functors - Freyd - 1964 |

39 |
Adjoint functors
- Kan
- 1958
(Show Context)
Citation Context ...er to define natural transformations. Their original paper [9] was named not “General Theory of Categories” but General Theory of Natural Equivalences. Adjoints were (surprisingly) only defined later =-=[21]-=- but the realization of their foundational importance has steadily increased over time [26, 24]. Now it would perhaps be not too much of an exaggeration to see categories, functors, and natural transf... |

31 |
Practical Foundations of Mathematics
- Taylor
- 1999
(Show Context)
Citation Context ...FGa) that makes the upper triangle and thus the square commutes. Adjointness is closely related to the notion of a factorization system for orthogonal sets of maps such as epis and monos (see [18] or =-=[34]-=-). The motivating example for factorization systems of maps was the example of epimorphisms and monomorphisms. The unit and counit in any adjunction have a closely related property. For instance, supp... |

25 | The Dreams of Reason: The Computer and the Rise of the Sciences of Complexity - Pagels - 1988 |

23 | Structure and Functors: The Categorical Imperative - Arbib, Manes, et al. - 1975 |

22 | 1969] Adjointness in Foundations
- Lawvere
(Show Context)
Citation Context ...y of Categories” but General Theory of Natural Equivalences. Adjoints were (surprisingly) only defined later [21] but the realization of their foundational importance has steadily increased over time =-=[26, 24]-=-. Now it would perhaps be not too much of an exaggeration to see categories, functors, and natural transformations as the prelude to defining adjoint functors. As Steven Awodey put it in his (forthcom... |

20 |
Toposes and local set theories: An introduction
- Bell
- 1988
(Show Context)
Citation Context ...subcategories where the unit and counit are isomorphisms so that each adjoint is both a left and right adjoint of the other—and thus determination is bidirectional—on those subcategories (see [24] or =-=[3]-=-). 125 Adjunctive Squares 5.1 Embedding Adjunctions in a Product Category Our approach to a theory of adjoints uses a certain “adjunctive square” diagram that is in the product category X×A associate... |

20 |
Categorical Foundations and the Foundations of Category Theory
- Feferman
- 1977
(Show Context)
Citation Context ...niversal morphisms (see example below). The notion of determination-by-morphisms plays the conceptually primitive role in category theory analogous to the primitive notion of collection in set theory =-=[16]-=-. The set universal for a property collects together the instances of the property but does not have the property itself. The category-universal for a property has the property itself and determines t... |

17 |
Groundwork of the Metaphysic of Moral. Translated by H.J
- Kant
- 1964
(Show Context)
Citation Context ...it is not clear that he worked out the correct notion of universality that would correspond to, say, the autonomy principle of always treating persons as ends-in-themselves rather than just as means (=-=[22]-=-; see Chapter 4 in [13]). In any case, there may be something to Michael Arbib and Ernest Manes’ linking of “The Categorical Imperative” (subtitle of their book) to universal constructions in category... |

15 |
The natural selection theory of antibody formation
- Jerne
- 1955
(Show Context)
Citation Context ...structional; the external molecule or antigen would enter the system and instruct the immune mechanism with its template to construct antibodies that will neutralize the antigen. In 1955, Niels Jerne =-=[20]-=- proposed the selectionist theory of the immune system which is now accepted (with variations added by many other researchers). The immune system takes on the active role of generating a huge variety ... |

13 |
2006] Category Theory (Oxford Logic Guides
- Awodey
(Show Context)
Citation Context ...f category theory. Indeed, I will make the admittedly provocative claim that adjointness is a concept of fundamental logical and mathematical importance that is not captured elsewhere in mathematics. =-=[2]-=- 3Other category theorists have given similar testimonials. To some, including this writer, adjunction is the most important concept in category theory. [35, p. 6] Nowadays, every user of category th... |

13 |
Property & Contract in Economics: The Case for Economic Democracy
- Ellerman
- 1992
(Show Context)
Citation Context ...pic. The setting is where one person (or group of persons) has the sender 20 The relevant political theory is outlined in [15] and the concepts of workplace democracy are dealt with at book length in =-=[12]-=- (which can be downloaded from www.ellerman.org ). 54or ‘determiner’ role and another person (or group of persons) is in the receiver or ‘determinee’ role. For the person in the sending role trying t... |

12 | Helping people help themselves: From the world bank to an alternative philosophy of development assistance: The - Ellerman - 2005 |

9 | 2004] Ordered Sets via Adjunctions. Categorical Foundations - Wood |

7 |
1945] General Theory of Natural Equivalences
- Eilenberg, Lane
(Show Context)
Citation Context ...aunders MacLane and Samuel Eilenberg famously said that categories were defined in order to define functors, and functors were defined in order to define natural transformations. Their original paper =-=[9]-=- was named not “General Theory of Categories” but General Theory of Natural Equivalences. Adjoints were (surprisingly) only defined later [21] but the realization of their foundational importance has ... |

7 |
Intellectual Trespassing as a Way of Life: Essays
- Ellerman
- 1995
(Show Context)
Citation Context ... “abstract” universals of set theory and the self-participating, horizontal, or “concrete” universals which are given by the universal mapping properties (UMPs) of category theory (see Ellerman [11], =-=[13]-=-). The abstract or non-self-participating universals of set theory collect together instances of a property but involve no machinery about the determination of the instances having the property. In co... |

6 |
Sheaves of Structures and Generalized Ultraproducts, Annals of Pure and Applied Logic 7
- Ellerman
- 1974
(Show Context)
Citation Context ...neralization of the set theoretic foundations of mathematics. Although topos theory has been of great importance to release set theory’s ‘death grip’ on foundations (and although my 1971 dissertation =-=[10]-=- was on generalizing ultraproducts 1 Some familiarity with basic category theory is assumed. Whenever possible, I will follow MacLane [28] on notation and terminology. Proofs will be avoided in favor ... |

5 |
The In‡uence of Heraclitus on Modern Mathematics. Scienti…c Philosophy Today: Essays in Honor of Mario Bunge
- Lambek
- 1981
(Show Context)
Citation Context ...y of Categories” but General Theory of Natural Equivalences. Adjoints were (surprisingly) only defined later [21] but the realization of their foundational importance has steadily increased over time =-=[26, 24]-=-. Now it would perhaps be not too much of an exaggeration to see categories, functors, and natural transformations as the prelude to defining adjoint functors. As Steven Awodey put it in his (forthcom... |

4 | 1967] Algebra - Lane, S, et al. |

3 |
1973] Les distributeurs. Report 33. Institut de Mathématique Pure et appliquée. Université Catholique de Louvain
- Bénabou
(Show Context)
Citation Context ...uch bifunctors and generalizations replacing Set by other categories have been studied by the Australian school under the name of profunctors [23], by the French school under the name of distributors =-=[4]-=-, 6and by William Lawvere under the name of bimodules [27]. 3 However, the guiding interpretation has been interestingly different. “Roughly speaking, a distributor is to a functor what a relation is... |

3 | 1975] Philosophical Works of Descartes Vol. I. Translated and Edited by E.S - Descartes |

3 |
Category Theory and Concrete Universals. Erkenntnis
- Ellerman
- 1988
(Show Context)
Citation Context ...al, or “abstract” universals of set theory and the self-participating, horizontal, or “concrete” universals which are given by the universal mapping properties (UMPs) of category theory (see Ellerman =-=[11]-=-, [13]). The abstract or non-self-participating universals of set theory collect together instances of a property but involve no machinery about the determination of the instances having the property.... |

3 |
Translatio versus Concessio: Retrieving the Debate about Contracts of Alienation with an Application to Today’s Employment Contract
- Ellerman
(Show Context)
Citation Context ...al philosophy where determinative relations between persons are the central topic. The setting is where one person (or group of persons) has the sender 20 The relevant political theory is outlined in =-=[15]-=- and the concepts of workplace democracy are dealt with at book length in [12] (which can be downloaded from www.ellerman.org ). 54or ‘determiner’ role and another person (or group of persons) is in ... |

3 |
Evolution: Selected Papers
- Wright
- 1986
(Show Context)
Citation Context ...life and human sciences. 19 Some versions of Darwinian evolution have taken the problem of the generation of variety more seriously than others. In particular, Sewall Wright’s shifting balance theory =-=[36]-=- has emphasized the advantages of having the population split up into various subpopulations or ‘demes’ that will encourage wider variation (a practice also followed by artificial breeders). Separatio... |

2 | 1960] The Future of Man - Medawar - 1959 |

1 | 1966] Cartesian Linguistics. Harper - Chomsky |

1 | 1997 (1836)] The Nature and Conformation of Language. The Hermeneutics Reader. Edited by K. Mueller-Vollmer. Continuum - Humboldt |