Skip to main content
added 324 characters in body; added 128 characters in body
Source Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

As mentioned in Categories for the Working Mathematician, Bourbaki nearly had the right definition of an adjunction 10-15 years before the proper definition was formulated by Dan Kan. In fact, Bourbaki actually proved the Special Adjoint functor theorem (cf. Categories for the Working Mathematician - notes at the end of the chapter on Adjunctions)

Edit: To explain a little more (from Mac Lane), Bourbaki had figured out most of these notions, but since they had not formulated the general adjoint functor theorem, only the special adjoint functor theorem, they restricted their definition of a "universal construction" to those adjunctions for which the SAFT holds. I find it pretty impressive that they were able to do all of this without the benefit of a formal framework for category theory.

As mentioned in Categories for the Working Mathematician, Bourbaki nearly had the right definition of an adjunction 10-15 years before the proper definition was formulated by Dan Kan. In fact, Bourbaki actually proved the Special Adjoint functor theorem (cf. Categories for the Working Mathematician - notes at the end of the chapter on Adjunctions)

As mentioned in Categories for the Working Mathematician, Bourbaki nearly had the right definition of an adjunction 10-15 years before the proper definition was formulated by Dan Kan. In fact, Bourbaki actually proved the Special Adjoint functor theorem (cf. Categories for the Working Mathematician - notes at the end of the chapter on Adjunctions)

Edit: To explain a little more (from Mac Lane), Bourbaki had figured out most of these notions, but since they had not formulated the general adjoint functor theorem, only the special adjoint functor theorem, they restricted their definition of a "universal construction" to those adjunctions for which the SAFT holds. I find it pretty impressive that they were able to do all of this without the benefit of a formal framework for category theory.

Post Made Community Wiki
Source Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

As mentioned in Categories for the Working Mathematician, Bourbaki nearly had the right definition of an adjunction 10-15 years before the proper definition was formulated by Dan Kan. In fact, Bourbaki actually proved the Special Adjoint functor theorem (cf. Categories for the Working Mathematician - notes at the end of the chapter on Adjunctions)