The core of adjoint functors
Category Theory
2012-01-04 v2
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.
Cite
@article{arxiv.1112.0094,
title = {The core of adjoint functors},
author = {Ross Street},
journal= {arXiv preprint arXiv:1112.0094},
year = {2012}
}
Comments
16 pages