Monads and Algebras

  • Saunders Mac Lane
Part of the Graduate Texts in Mathematics book series (GTM, volume 5)

Abstract

In this chapter we will examine more closely the relation between universal algebra and adjoint functors. For each type τ of algebras (§V.6), we have the category AIg τ of all algebras of the given type, the forgetful functor G: Alg τSet, and its left adjoint F, which assigns to each set S the free algebra FS of type τ generated by elements of S. A trace of this adjunction 〈F,G,φ〉: SetAlg τ resides in the category Set; indeed, the composite T = GF is a functor SetSet , which assigns to each set S the set of all elements of its corresponding free algebra. Moreover, this functor T is equipped with certain natural transformations which give it a monoid-like structure, called a “monad”. The remarkable part is then that the whole category Alg τ can be reconstructed from this monad in Set. Another principal result is a theorem due to Beck, which describes exactly those categories A with adjunctions 〈 F, G, φ〉:XA which can be so reconstructed from a monad T in the base category X. It then turns out that algebras in this last sense are so general as to include the compact Hausdorff spaces (§ 9).

Keywords

Natural Transformation Free Algebra Compact Hausdorff Space Left Adjoint Forgetful Functor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

  1. The recognition of the power and simplicity of the use of monads and comonads came quite slowly, and started from their use in homological algebra (see § VII.6). Mac Lane [1956] mentioned in passing (his § 3) that all the standard resolutions could be obtained from universal arrows (i.e., from adjunctions). Then Godement [1958] systematized these resolutions by using standard constructions (comonads). P. J. Huber [1961], starting from. Huber [1961], starting from “homotopy theory” in the Eckmann-Hilton sense, explored the examples of derived functors which can be defined by comonads and then in [1962] studied the resulting functorial simplicial resolutions for more general abelian categories. Then Hilton (and others) raised the question as to whether any monad arises from an adjunction. Two independent answers appeared: Kleisli’s constructions in [1965] of the “free algebra” realization and the decisive construction by Eilenberg-Moore [1965] of the category of algebras for a monad. Stimulated by this description of the algebras, Barr-Beck in [1966] showed how the resolutions derived from monads and comonads can be used even in non-abelian categories — obtaining the surprising result that the free group monad in Set does lead to the standard cohomology of groups. Subsequent developments in this direction are sumarized in their paper [ 1969 ].Google Scholar
  2. Thus, about 1965, it became urgent to decide how to characterize the category of algebras over a monad. Linton [1966] treated the case for monads in Set, and then Beck established his theorem (unpublished, but presented at a conference in 1966 ). The absolute “coequalizer” form of the theorem, due to Paré [1971], made possible Paré’s elegant proof (§ 9) that compact Hausdorff spaces are monadic. Many other developments in this direction are summarized in Manes’ thesis (cf. [1969]).Google Scholar
  3. The description of algebras by monads is closely related to another description by algebraic theories (Lawvere [1963], described in Pareigis [1970]).Google Scholar

Copyright information

© Springer Science+Business Media New York 1978

Authors and Affiliations

  • Saunders Mac Lane
    • 1
  1. 1.Department of MathematicsUniversity of ChicagoChicagoUSA

Personalised recommendations