TY  - RPRT
TI  - Coherence for adjunctions in a $4$-category
AU  - Manuel Araújo
PY  - 2024
UR  - https://arxiv.org/abs/2207.02935
ID  - 2207.02935
ER  -