结合律即交换律
范畴论
2007-05-23 v9 逻辑
摘要
我们表明,幺半范畴中关于结合律的 coherence 条件类似于对称或辫化严格幺半范畴中关于交换律的 coherence 条件,其中结合律箭头为恒等。Mac Lane 关于结合律的五边形 coherence 条件被分解为关于交换律的条件,其中包括一个类似于自然性的条件以及 Mac Lane 关于交换律的六边形条件的一个退化情形。该分解类似于从 Mac Lane 六边形及交换律的自然性导出 Yang-Baxter 方程。五边形被约化为一种交换律的归纳定义。
引用
@article{arxiv.math/0506600,
title = {Associativity as Commutativity},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:math/0506600},
year = {2007}
}
备注
15 pages, braiding mentioned, minor corrections, references updated