Related papers: Scalar extension of bicoalgebroids
Quantum categories have been recently studied because of their relation to bialgebroids, small categories, and skew monoidales. This is the first of a series of papers based on the author's PhD thesis in which we examine the theory of…
We define a class of monoidal categories whose morphisms are diagrams, and which are enhancements and generalisations of the Brauer category obtained by adjoining infinitesimal braids, "coupons" and poles. Properties of these categories are…
We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlach\'anyi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a…
Braided bialgebras of type one in abelian braided monoidal categories are characterized as braided graded bialgebras which are strongly $\mathbb{N}$-graded both as an algebra and as a coalgebra.
We consider categories of Soergel bimodules for the symmetric groups S_n in their gl(n)-realizations for all n and assemble them into a locally linear monoidal bicategory. Chain complexes of Soergel bimodules likewise form a locally…
We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…
Let k be a field. Let also (F, G) be a matched pair of groups. We give necessary and sufficient conditions on a pair (\sigma, \tau) of 2-cocycles in order that the crossed product algebra and the crossed coproduct coalgebra…
The subject of this article are cross product bialgebras without co-cycles. We establish a theory characterizing cross product bialgebras universally in terms of projections and injections. Especially all known types of biproduct, double…
We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise…
We characterize cyclic algebras over the associative and the framed little 2-disks operad in any symmetric monoidal bicategory. The cyclicity is appropriately treated in a coherent way, i.e. up to coherent isomorphism. When the symmetric…
We prove that every slightly degenerate braided fusion category admits a minimal nondegenerate extension, and hence that every pseudo-unitary super modular tensor category admits a minimal modular extension. This completes the program of…
A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…
A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over…
In this expository paper, we discuss and compare the notions of braided and coboundary monoidal categories. Coboundary monoidal categories are analogues of braided monoidal categories in which the role of the braid group is replaced by the…
We introduce a modified version of the necklace Lie bialgebra associated to a quiver, in which the bracket and cobracket insert (rather than remove) pairs of arrows in involution. This structure is then related to canonical quartic…
We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition…
Let $H_1$ and $H_2$ be Hopf algebras which are not necessarily finite dimensional and $\alpha,\beta \in Aut_{Hopf}(H_1), \gamma,\delta \in Aut_{Hopf}(H_2)$. In this paper, we introduce a category ${}_{H_1}\mathcal{LR}_{H_2}(\alpha, \beta,…
The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module…
Brugui\`eres, Lack and Virelizier have recently obtained a vast generalization of Sweedler's Fundamental Theorem of Hopf modules, in which the role of the Hopf algebra is played by a bimonad. We present an extension of this result which…
The aim here is to sketch the development of ideas related to brackets and similar concepts: Some purely group theoretical combinatorics due to Ph. Hall led to a proof of the Jacobi identity for the Whitehead product in homotopy theory.…