幺半范畴的图形语言综述
范畴论
2012-07-31 v1
摘要
本文旨在作为各种幺半范畴概念及其相关弦图的参考指南。希望这不仅对数学家有用，也对物理学家、计算机科学家以及其他使用图解推理的人士有所帮助。我们选择对拓扑概念进行某种非正式的处理，并省略了大部分证明。尽管如此，阐述足够详细，足以阐明目前已知的内容，并作为更深入研究的起点。在可能的情况下，我们提供文献中更严格处理的指引。当我们包含仅在特殊情况下得到证明的结果时，我们以注意事项的形式指出这一点。
引用
@article{arxiv.0908.3347,
title = {A survey of graphical languages for monoidal categories},
author = {Peter Selinger},
journal= {arXiv preprint arXiv:0908.3347},
year = {2012}
}