论文标题
$ 4 $ - 映射$ 4 $ groupoids的弦图
String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
论文作者
论文摘要
我们引入了一个严格4 $类别的弦图微积分，并使用它来证明，鉴于cofinite包含$ 4 $ - 类别演示文稿，诱导的限制器在将空间映射到固定目标的严格$ 4 $ - 类别是严格的$ 4 $ - gentropoids。
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.
