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

MaRDI QIDQ6355477zbMATH OpenFDO

Authors Manuel Araújo

Publication date 7 December 2020

Mathematics Subject Classification ID

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

Abstract: We introduce a string diagram calculus for strict $4$-categories and use it to prove that given a cofinite inclusion of $4$-categorical presentations, the induced restriction functor on mapping spaces to a fixed target strict $4$-category is a fibration of strict $4$-groupoids.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6355477)