Structure functors - Compositions of arbitrary right adjoints with topological functors I -
In previous papers, various notions of pre-Hausdorff, Hausdorff and regular objects at a point in a topological category were introduced and compared. The main objective of this paper is to characterize each of these notions of pre-Hausdorff, Hausdorff and regular objects locally in the category of proximity spaces. Furthermore, the relationships that arise among the various , , , structures at a point are investigated. Finally, we examine the relationships between the generalized separation...
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...