Related papers: Closed categories, star-autonomy, and monoidal com…
We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, $\phi: C \to D$ is a monomorphism of coalgebras if and only if…
Let G be an algebraic group over an algebraically closed field of positive characteristic such that its neutral connected component is a unipotent group. We consider a certain class of closed idempotents in the braided monoidal category…
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
We study monoidal categorifications of certain monoidal subcategories $\mathcal{C}_J$ of finite-dimensional modules over quantum affine algebras, whose cluster algebra structures coincide and arise from the category of finite-dimensional…
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…
Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…
Given a small category $I$ and a closed symmetric monoidal category $\mm$, we show that the diagram category $\mm^I$ with the objectwise product is a closed symmetric monoidal category. We then prove that if $I$ is a Reedy category and…
If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit S forms a commutative ring. An idempotent e of this ring will split the homotopy category. We prove that provided the…
A new category of topological spaces with additional structures, called m-towers, is introduced. It is shown that there is a covariant functor which establishes a one-to-one correspondences between unital (resp. arbitrary) subhomogeneous…
Let $c:\mathcal{G}\to\R$ be a cocycle on a locally compact Hausdorff groupoid $\mathcal{G}$ with Haar system. Under some mild conditions (satisfied by all integer valued cocycles on \'{e}tale groupoids), $c$ gives rise to an unbounded odd…
Suppose that we have a semisimple, connected, simply connected algebraic group $G$ with corresponding Lie algebra $\mathfrak{g}$. There is a Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ and the coordinate ring…
We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial, and that its closure under iteration can…
We prove the existence of a universal braided compact quantum group acting on a graph $\mathrm{C}^*$-algebra in the category of $\mathbb{T}$-$\mathrm{C}^*$-algebras with a twisted monoidal structure, in the spirit of the seminal work of S.…
In this note we set a configuration space description of the equivariant connective K-homology groups with coefficients in a unital C*-algebra for proper actions. Over this model we define a connective assembly map and prove that in this…
Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…
In this note we observe that any compact quantum group monoidally equivalent, in a nice way, to a free wreath product of a compact quantum group $G$ by the quantum automorphism group of a finite dimensional C*-algebra with a $\delta$-form…
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a…
G-equivariant modular categories provide the input for a standard method to construct 3d homotopy field theories. Virelizier constructed a G-equivariant category from the action of a group G on a Hopf algebra H by Hopf algebra…