Mac Lane, Bourbaki, and Adjoints: A Heteromorphic Retrospective

16 Pages Posted: 20 Jun 2015

Date Written: June 18, 2015

Abstract

Saunders Mac Lane famously remarked that "Bourbaki just missed" formulating adjoints in a 1948 appendix (written no doubt by Pierre Samuel) to an early draft of Algebre -- which then had to wait until Daniel Kan's 1958 paper on adjoint functors. But Mac Lane was using the orthodox treatment of adjoints that only contemplates the object-to-object morphisms within a category, i.e., homomorphisms. When Samuel's treatment is reconsidered in view of the treatment of adjoints using heteromorphisms or hets (object-to-object morphisms between objects in different categories), then he, in effect, isolated the concept of a left representation solving a universal mapping problem. When dualized to obtain the concept of a right representation, the two halves only need to be united to obtain an adjunction. Thus Samuel was only a now-simple dualization away for formulating adjoints in 1948. Apparently, Bodo Pareigis' 1970 text was the first and perhaps only text to give the heterodox "new characterization" (i.e., heteromorphic treatment) of adjoints. Orthodox category theory uses various relatively artificial devices to avoid formally recognizing hets -- even though hets are routinely used by the working mathematician. Finally we consider a "philosophical" question as to whether the most important concept in category theory is the notion of an adjunction or the notion of a representation giving a universal mapping property (where adjunctions arise as the special case of a bi-representation of dual universal mapping problems).

Keywords: category theory, adjoint functors, Bourbaki, Grothendieck, universal mapping properties

Suggested Citation

Ellerman, David, Mac Lane, Bourbaki, and Adjoints: A Heteromorphic Retrospective (June 18, 2015). Available at SSRN: https://ssrn.com/abstract=2620333 or http://dx.doi.org/10.2139/ssrn.2620333

David Ellerman (Contact Author)

University of Ljubljana ( email )

School of Social Science
Ljubljana, CA
Slovenia

HOME PAGE: http://www.ellerman.org

Here is the Coronavirus
related research on SSRN

Paper statistics

Downloads
50
Abstract Views
525
PlumX Metrics