Coherence for adjunctions in a -category via string diagrams
arXiv:2104.09897 · doi:10.32408/compositionality-4-2
Abstract
We define a coherent adjunction in a strict -category and we use string diagrams to show that any adjunction can be extended to a coherent adjunction in an essentially unique way.
References in corpus (4)
- (Op)lax natural transformations, twisted quantum field theories, and "even higher" Morita categories
- Biequivalences in tricategories
- On unitary 2-representations of finite groups and topological quantum field theory
- On dualizable objects in monoidal bicategories, framed surfaces and the Cobordism Hypothesis