String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
Category Theory
2024-10-02 v4 Algebraic Topology
Quantum Algebra
Abstract
We introduce a string diagram calculus for strict -categories and use it to prove that given a cofinite inclusion of -categorical presentations, the induced restriction functor on mapping spaces to a fixed target strict -category is a fibration of strict -groupoids.
Keywords
Cite
@article{arxiv.2012.03797,
title = {String diagrams for $4$-categories and fibrations of mapping $4$-groupoids},
author = {Manuel Araújo},
journal= {arXiv preprint arXiv:2012.03797},
year = {2024}
}