One may also speculate as to why the discovery of adjoint
functors was so delayed. Ideas about Hilbert space or universal
constructions in general topology might have suggested adjoints, but they
did not; perhaps the 1939–1945 war interrupted this development. During
the next decade 1945–55 there were very few studies of categories,
category theory was just a language, and possible workers may have been
discouraged by the widespread pragmatic distrust of general abstract
nonsense
(category theory). Bourbaki just missed […] Bourbaki’s
idea of universal construction was devised to be so general as to include
more–and in particular, to include the ideas of multilinear algebra which
were important to French Mathematical traditions. In retrospect, this
added generality seems mistaken; Bourbaki’s construction problem
emphasized representable functors, and asked Find
so that
.
This formulation lacks the symmetry of the adjunction
problem,
Find
so that
—and so missed a basic
discovery; this discovery was left to a younger [person], perhaps one
less beholden to tradition or to fashion. Put differently, good
general theory does not search for the maximum generality, but for the
right generality.
Saunders Mac Lane1