Coherence for adjunctions in a $3$-category via string diagrams
Category Theory
2024-08-07 v2 Algebraic Topology
Quantum Algebra
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.
Keywords
Cite
@article{arxiv.2104.09897,
title = {Coherence for adjunctions in a $3$-category via string diagrams},
author = {Manuel Araújo},
journal= {arXiv preprint arXiv:2104.09897},
year = {2024}
}