The core of adjoint functors
Abstract
There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to Kleisli objects, which we then apply to internal categories. Finally, we describe a doctrinal setting.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2011
- DOI:
- 10.48550/arXiv.1112.0094
- arXiv:
- arXiv:1112.0094
- Bibcode:
- 2011arXiv1112.0094S
- Keywords:
-
- Mathematics - Category Theory;
- 18A40;
- 18D20;
- 18D05
- E-Print:
- 16 pages