字符串图用于 $4$-范畴与映射 $4$-群胚的纤束
范畴论
2024-10-02 v4 代数拓扑
量子代数
摘要
我们引入严格 -范畴的字符串图演算，并用它证明：给定 -范畴表示的余有限包含，到固定目标严格 -范畴的映射空间上所诱导的限制函子是严格 -群胚的一个纤束。
引用
@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}
}