高维线性范畴中的重写及其在仿射定向Brauer范畴中的应用
表示论
2016-03-09 v1 范畴论
摘要
本文引入线性幺半范畴的重写理论。这些范畴是我们将定义为线性(n, p)-范畴的特殊情形。我们还将定义线性(n, p)-多图，即n-多图的线性适应，以给出线性(n-1, p)-范畴的展示。然后我们聚焦于线性(3, 2)-多图来给出线性幺半范畴的展示。最后给出该理论在线性(3, 2)-多图中的一个应用，利用van Ostroom定义的重写性质：递减性，以新方法证明AOB范畴上的一个基定理。
引用
@article{arxiv.1603.02592,
title = {Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category},
author = {Clément Alleaume},
journal= {arXiv preprint arXiv:1603.02592},
year = {2016}
}