Related papers: A basis theorem for the affine Kauffmann category …
The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a polynomial generator subject to…
A strict monoidal category referred to as affine Brauer category $\mathcal{AB}$ is introduced over a commutative ring $\kappa$ containing multiplicative identity $1$ and invertible element $2$. We prove that morphism spaces in…
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…
We define the affine Frobenius Brauer categories associated to each symmetric involutive Frobenius superalgebra $A$. We then define an action of these categories on the categories of finite-dimensional supermodules for orthosymplectic Lie…
We describe bases for the morphism spaces of the Frobenius Heisenberg categories associated to a symmetric graded Frobenius algebra, proving several open conjectures. Our proof uses a categorical comultiplication and generalized cyclotomic…
We introduce the nil-Brauer category and prove a basis theorem for its morphism spaces. This basis theorem is an essential ingredient required to prove that nil-Brauer categorifies the split iquantum group of rank one. As this iquantum…
Using the affine web category introduced in a prequel as a building block, we formulate a diagrammatic $\Bbbk$-linear monoidal category, the affine Schur category, for any commutative ring $\Bbbk$. We then formulate diagrammatic categories,…
In this paper, we introduce the notion of an admissible partition of a simplicial polyhedral fan and define the category of a partitioned fan as a generalisation of the $\tau$-cluster morphism category of a finite-dimensional algebra. This…
In this paper, a notion of affine walled Brauer-Clifford superalgebras $BC_{r, t}^{\rm aff} $ is introduced over an arbitrary integral domain $R$ containing $2^{-1}$. These superalgebras can be considered as affinization of walled Brauer…
We develop a general framework for the quantization of bosonic and fermionic field theories on affine bundles over arbitrary globally hyperbolic spacetimes. All concepts and results are formulated using the language of category theory,…
In this paper we show that an affine space is determined by the abstract group structure of its group of regular automorphisms in the category of connected affine varieties. To prove this we study commutative subgroups of the group of…
We formulate two new $\mathbb Z[q,q^{-1}]$-linear diagrammatic monoidal categories, the affine $q$-web category and the affine $q$-Schur category, as well as their respective cyclotomic quotient categories. Diagrammatic integral bases for…
Generalizing the polynomial web category, we introduce a diagrammatic $\Bbbk$-linear monoidal category, the affine web category, for any commutative ring $\Bbbk$. Integral bases consisting of elementary diagrams are obtained for the affine…
The free monoid with two generators acts on classes (=properties) of morphisms of a category by taking the left or right orthogonal complement with respect to the lifting property, and we define the Quillen negation monoid of the category…
We prove that for the action of a finite constant group scheme, equivariant algebraic $K$-theory is represented by a colimit of Grassmannians in the equivariant motivic homotopy category. Using this result we show that the set of…
This paper examines the category C^k_{d,n} whose morphisms are d-dimensional smooth manifolds that are properly embedded in the product of a k-dimensional cube with an (d+n-k)-dimensional Euclidean space. There are k directions to compose…
Let $G$ be a semisimple simply-connected algebraic group over an algebraically closed field of characteristic zero. We prove that the affine Hecke category associated to the loop group of $G$ is equivalent to the colimit, evaluated in the…
We show that affine subspaces of Euclidean space are of Khintchine type for divergence under certain multiplicative Diophantine conditions on the parametrizing matrix. This provides evidence towards the conjecture that all affine subspaces…
We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the…
We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in…