Coherence for adjunctions in a 3-category via string diagrams

DOI10.32408/COMPOSITIONALITY-4-2OpenAlexW3154927745MaRDI QIDQ5045913

Manuel Araújo

Publication date: 7 November 2022

Published in: Compositionality (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.09897

Mathematics Subject Classification ID

String diagrams and graphical calculi (18M30) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

Related Items (2)

Unnamed Item ⋮ What is an equivalence in a higher category?

This page was built for publication: Coherence for adjunctions in a 3-category via string diagrams