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

##
Manuel Araújo

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.

http://www.tac.mta.ca/tac/volumes/41/38/41-38.pdf

TAC Home