Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions
arXiv:2102.09789 · doi:10.1007/s10485-021-09654-w
Abstract
It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions constructed from suitable associated two-variable adjunctions. Representation theorems are established for fixed points of these adjunctions.
23 pages, final version
References in corpus (5)
- Categorical structures enriched in a quantaloid: categories, distributors and functors
- Categorical structures enriched in a quantaloid: tensored and cotensored categories
- Homotopy limits and colimits and enriched homotopy theory
- Fixed points of adjoint functors enriched in a quantaloid
- Multi-adjoint concept lattices via quantaloid-enriched categories