范畴化运算子理论的 coherence
范畴论
2007-05-23 v1
摘要
久已为人所知,每个弱单态范畴 A 都经由单态函子与单态自然变换等价于一个严格单态范畴 st(A)。我们将弱单态范畴的定义推广,对任意强正则(运算子)理论 P 给出弱 P-范畴的定义,并证明每个弱 P-范畴都经由 P-函子与 P-变换等价于一个严格 P-范畴。进而表明该严格化函子具有一个有趣的泛性质。
引用
@article{arxiv.math/0607423,
title = {Coherence for Categorified Operadic Theories},
author = {Miles Gould},
journal= {arXiv preprint arXiv:math/0607423},
year = {2007}
}
备注
13 pages, 1 figure. Presented at 82nd PSSL, Glasgow, May 2006