The Brauer category and invariant theory
A category of Brauer diagrams, analogous to Turaev’s tangle category, is introduced, a presentation of the category is given, and full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group O or the symplectic group Sp over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic setting. The major outcome is that we obtain presentations...