The Gray Tensor Product Via Factorisation
The Gray Tensor Product Via Factorisation
复制标题
通过因式分解的灰色张量积
DOI：
10.1007/s10485-016-9467-6
复制
发表时间：
2016
影响因子：
0.6
通讯作者：
Bourke J
中科院分区：
文献类型：
--
作者：
Bourke J
本文讨论了2-范畴的Gray张量积的民间构造，它是通过因式分解从滑稽张量积到卡隆张量积的映射而得到的。我们表明，这种因式分解可以得到不使用具体介绍的灰色张量积，但仅仅是其定义的普遍属性，并用它来给另一个证明，灰色张量积形成的一部分对称monoidal结构。主要的技术工具是一种通过因式分解系统从旧的Lawvere 2理论中产生新的代数结构的方法。
We discuss the folklore construction of the Gray tensor product of 2-categories as obtained by factoring the map from the funny tensor product to the cartesian product. We show that this factorisation can be obtained without using a concrete presentation of the Gray tensor product, but merely its defining universal property, and use it to give another proof that the Gray tensor product forms part of a symmetric monoidal structure. The main technical tool is a method of producing new algebra structures over Lawvere 2-theories from old ones via a factorisation system.
登录
查看更多内容
DOI：
--
发表时间：
1985
期刊：
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
影响因子：
--
作者：
C. Cassidy;M. Hébert;G. M. Kelly
通讯作者：
G. M. Kelly
三类的连贯性
影响因子：
0.8
作者：
R. Gordon;A. Power;R. Street
通讯作者：
R. Street
离散劳维尔理论
DOI：
10.1007/11548133_22
发表时间：
2005
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. Power
通讯作者：
J. Power
重写 2 理论的连贯性
DOI：
--
发表时间：
2009
期刊：
arXiv.org
影响因子：
--
作者：
J. Cohen
通讯作者：
J. Cohen
丰富的劳维尔理论
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
J. Power
通讯作者：
J. Power