Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category

Clément Alleaume

In this paper, we introduce a rewriting theory of linear monoidal categories. Those categories are a particular case of what we will define as linear (n, p)-categories. We will als…