Related papers: On the Rosenberg-Zelinsky sequence in abelian mono…
We study the general theory of Frobenius algebras with group actions. These structures arise when one is studying the algebraic structures associated to a geometry stemming from a physical theory with a global finite gauge group, i.e.…
We show that the equivalence between several possible characterizations of Frobenius algebras, and of symmetric Frobenius algebras, carries over from the category of vector spaces to more general monoidal categories. For Frobenius algebras,…
We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting actions of two compact quantum groups…
We construct a separable Frobenius monoidal functor from $\mathcal{Z}\big(\mathsf{Vect}_H^{\omega|_H}\big)$ to $\mathcal{Z}\big(\mathsf{Vect}_G^\omega\big)$ for any subgroup $H$ of $G$ which preserves braiding and ribbon structure. As an…
In previous work by the first two authors, Frobenius and commutative algebra objects in the category of spans of sets were characterized in terms of simplicial sets satisfying certain properties. In this paper, we find a similar…
We introduce simple models for associative algebras and bimodules in the context of non-symmetric $\infty$-operads, and use these to construct an $(\infty,2)$-category of associative algebras, bimodules, and bimodule homomorphisms in a…
A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are…
In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…
For a ribbon fusion category $\mathcal{A}$ and a special symmetric commutative Frobenius algebra $F$ in $\mathcal{A}$, we use factorization homology and the ansular correlators obtained via the modular microcosm principle to construct a…
We define and study categories of singular Soergel bimodules, which are certain natural generalisations of Soergel bimodules. Indecomposable singular Soergel bimodules are classified, and we conclude that the split Grothendieck group of the…
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…
We realize the Temperley-Lieb algebra by analogues of Soergel bimodules. The key point is that the monoidal structure is not given by a usual tensor product but by a slightly more complicated operation.
We show that certain category of bimodules over a finite dimensional quiver algebra known as type B zigzag algebra is a quotient category of the category of type B Soergel bimodules. This leads to an alternate proof of Rouquier's conjecture…
This article develops several main results for a general theory of homological algebra in categories such as the category of sheaves of idempotent modules over a topos. In the analogy with the development of homological algebra for abelian…
A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…
We construct a finite dimensional quiver algebra from the non-simply laced type $B$ Dynkin diagram, which we call the type $B$ zigzag algebra. This leads to a faithful categorical action of the type $B$ braid group $\mathcal{A}(B)$, acting…
In this paper we introduce and study Miyashita action in the context of monoidal categories aiming by this to provide a common framework of previous studies in the literature. We make a special emphasis of this action on Azumaya monoids. To…
We characterize Frobenius and separable monoidal algebra extensions $i: R\ra S$ in terms given by $R$ and $S$. For instance, under some conditions, we show that the extension is Frobenius, respectively separable, if and only if $S$ is a…
An affine monoid is an additive monoid which is cancellative, pointed and finitely generated. An affine monoid $\Lambda$ has the partial order defined by $\lambda \le \lambda + \mu$. The Frobenius complex is the order complex of an open…
We explicitly show that symmetric Frobenius structures on a finite-dimensional, semi-simple algebra stand in bijection to homotopy fixed points of the trivial SO(2)-action on the bicategory of finite-dimensional, semi-simple algebras,…