摘要：对称幺半范畴的潜在多范畴的研究及其证明只有一个（在规范且满足一致性等价的情况下）。因此，从对称幺半范畴到多范畴存在一个明确定义的遗忘函子，只要对称幺半范畴的所有态射至少满足弯曲对称幺半性。本文还证明了这个遗忘函子具有左伴随，并且伴随中的单子给出了一种严格化构造。
作者：A. D. Elmendorf
论文ID：2308.00656
分类：Category Theory
分类简称：math.CT
提交时间：2023-08-02
PDF 下载： 英文版 中文版pdf翻译中