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.
|Number of pages||18|
|Journal||Theory and Applications of Categories|
|Publication status||Published - 12 Jun 2012|