TY  - RPRT
TI  - Coherence for adjunctions in a $3$-category via string diagrams
AU  - Manuel Araújo
PY  - 2022
DO  - 10.32408/compositionality-4-2
UR  - https://arxiv.org/abs/2104.09897
ID  - 2104.09897
ER  -