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 funct…