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.
Keywords: string diagrams, fibrations, higher categories
2020 MSC: 18N20, 18N30
Theory and Applications of Categories, Vol. 41, 2024, No. 38, pp 1352-1398.
Published 2024-09-26.
TAC Home