String diagrams for 4-categories and fibrations of mapping 4-groupoids

zbMath1548.18028MaRDI QIDQ6634614

Manuel Araújo

Publication date: 8 November 2024

Published in: Theory and Applications of Categories (Search for Journal in Brave)

zbMATH Keywords

fibrationshigher categoriesstring diagrams

Mathematics Subject Classification ID

Strict omega-categories, computads, polygraphs (18N30) Tricategories, weak (n)-categories, coherence, semi-strictification (18N20)

This page was built for publication: String diagrams for 4-categories and fibrations of mapping 4-groupoids