Skew Monoidal Monoids

Skew monoidal categories are monoidal categories with non-invertible “coherence” morphisms. As shown in a previous article, bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod-R in which the unit object is R_R. This offers a new approach to bialgebroids and Hopf algebroids. Little is known about skew monoidal structures on general categories. In the present article, we study the one-object case: skew monoidal monoids (SMMs). We show that they possess a dual pair of bialgebroids describing the symmetries of the (co)module categories of the SMM. These bialgebroids are submonoids of their own base and are rank 1 free over the base on the source side. We give various equivalent definitions of SMM, study the structure of their (co)module categories, and discuss the possible closed and Hopf structures on a SMM.     

弱Hopf代数的扭曲理论

本文研究了弱Hopf代数的扭曲理论的对偶问题.利用了弱Hopf代数上的弱Hopf双模的(辫子)张量范畴与扭曲弱Hopf代数上的弱Hopf双模的(辫子)张量范畴等价方法,得到Long模范畴是Yetter-Drinfel'd模范畴的辫子张量子范畴.推广了Oeckl(2000)的结果.     

Centre of an algebra

Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra (full centre) in the monoidal centre of the monoidal category. We establish Morita invariance of this construction by extending it to module categories.As an example we treat the case of group-theoretical categories.     

Monoidal Entwined模范畴上的张量积恒等式

本文研究了monoidal entwined模范畴上的张量积恒等式.利用了monoidal entwined模范畴的性质及Doi-Hopf模范畴上的张量积恒等式的研究方法,获得了monoidal entwined模范畴上的一些张量积恒等式,并证明了entwined模范畴有足够的内射对象,结果推广了Doi-Hopf模范畴的结论.     

Yetter–Drinfeld Modules over Weak Braided Hopf Monoids and Center Categories

In this paper,we introduce several centralizer constructions in a monoidal context and establish a monoidal equivalence with the category of Yetter–Drinfeld modules over a weak braided Hopf monoid.We apply the general result to the calculus of the center in module categories.     

Cartesian Differential Categories as Skew Enriched Categories

We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids—or in a straightforward generalisation, the category of modules over a commutative rig k. However, the tensor product on this category is not the usual one, but rather a warping of it by a certain monoidal comonad Q. Thus the enrichment base is not a monoidal category in the usual sense, but rather a skew monoidal category in the sense of Szlachányi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad Q involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal k-linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category—thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.

     

Hopf Quasimodules and Yetter-Drinfeld Modules over Hopf Quasigroups

We introduce the notions of a four-angle Hopf quasimodule and an adjoint quasiaction over a Hopf quasigroup H in a symmetric monoidal category C.If H possesses an adjoint quasiaction,we show that symmetric Yetter-Drinfeld categories are trivial,and hence we obtain a braided monoidal category equivalence between the category of right Yetter-Drinfeld modules over H and the category of four-angle Hopf modules over H under some suitable conditions.     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

On algebras over multicategories

We introduce a notion of a monoidal category over verbal category. In such categories we define algebras over multicategories over the same verbal categories. We also explicitly compute categories of algebras for two classes of multicategories.     

An Embedding Theorem for Abelian Monoidal Categories

We show that, with some technical conditions, an Abelian monoidal category admits a monoidal embedding into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.     

Weak bimonoids in duoidal categories

Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in each of the underlying monoidal categories. Hopf modules over weak bimonoids are defined by weakly lifting the induced comonad to the Eilenberg–Moore category of the induced monad. Making appropriate assumptions on the duoidal category in question, the fundamental theorem of Hopf modules is proven which says that the category of modules over one of the base monoids is equivalent to the category of Hopf modules if and only if a Galois-type comonad morphism is an isomorphism.     

Universal constructions for Hopf algebras

The category of Hopf monoids over an arbitrary symmetric monoidal category as well as its subcategories of commutative and cocommutative objects respectively are studied, where attention is paid in particular to the following questions: (a) When are the canonical forgetful functors of these categories into the categories of monoids and comonoids respectively part of an adjunction? (b) When are the various subcategory-embeddings arsing naturally in this context reflexive or coreflexive? (c) When does a category of Hopf monoids have all limits or colimits? These problems are also shown to be intimately related. Particular emphasis is given to the case of Hopf algebras, i.e., when the chosen symmetric monoidal category is the category of modules over a commutative unital ring.     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

Hom-tensor relations for (quasi-) comodule algebras

We discuss quasi-Hopf algebras as introduced by Drinfeld and generalize the Hom-tensor adjunctions from the Hopf case to the quasi-Hopf setting, making the module category over a quasi-Hopf algebra H into a biclosed monoidal category. However, in this case, the unit and counit of the adjunction are not trivial and should be suitably modified in terms of the reassociator and the quasi-antipode of the quasi-Hopf algebra H. In a more general case, for a comodule algebra $ \mathcal{B} $ over a quasi-Hopf algebra H, the module category over $ \mathcal{B} $ need not to be monoidal. However, there is an action of a monoidal category on it. Using this action, we consider some kind of tensor and Hom-endofunctors of module category over $ \mathcal{B} $ and generalize some Hom-tensor relations from module category on H to this module category.     

扭曲Smash积的辫Monoidal范畴与辫Monoidal范畴上的扭曲Smash积

得出了扭曲Ｓｍａｓｈ积模范畴Ａ＊ＨＭ是辫ｍｏｎｏｉｄａｌ范畴的一个充要条件;进一步讨论了与范畴Ａ—ＨＭ等价的范畴,引进了广义Ｙｅｔｔｅｒ－Ｄｒｉｎｆｅｌｄ范畴ＨＭＣ;最后,给出了辫Ｍｏｎｏｉｄａｌ范畴上扭曲Ｓｍａｓｈ积构成Ｈｏｐｆ代数充要的条件,这些结果统一了量子群中许多重要结论。     

Monoidal Morita invariants for finite group algebras

Two Hopf algebras are called monoidally Morita equivalent if module categories over them are equivalent as linear monoidal categories. We introduce monoidal Morita invariants for finite-dimensional Hopf algebras based on certain braid group representations arising from the Drinfeld double construction. As an application, we show, for any integer n, the number of elements of order n is a monoidal Morita invariant for finite group algebras. We also describe relations between our construction and invariants of closed 3-manifolds due to Reshetikhin and Turaev.     

Monoidal Hom–Hopf Algebras

Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal category such that Hom-algebras coincide with algebras in this monoidal category, and similar properties for coalgebras, Hopf algebras, and Lie algebras.     

Traces in monoidal derivators,and homotopy colimits

A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an explicit formula is deduced for the trace of the homotopy colimit of endomorphisms over finite categories in which all endomorphisms are invertible. This result can be seen as a generalization of the additivity of traces in monoidal categories with a compatible triangulation.     

Classifying spaces for braided monoidal categories and lax diagrams of bicategories

This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy type of their classifying spaces. Bicategories (in particular monoidal categories) have well-understood simple geometric realizations, and we here deal with homotopy types represented by lax diagrams of bicategories, that is, lax functors to the tricategory of bicategories. In this paper, it is proven that, when a certain bicategorical Grothendieck construction is performed on a lax diagram of bicategories, then the classifying space of the resulting bicategory can be thought of as the homotopy colimit of the classifying spaces of the bicategories that arise from the initial input data given by the lax diagram. This result is applied to produce bicategories whose classifying space has a double loop space with the same homotopy type, up to group completion, as the underlying category of any given (non-necessarily strict) braided monoidal category. Specifically, it is proven that these double delooping spaces, for categories enriched with a braided monoidal structure, can be explicitly realized by means of certain genuine simplicial sets characteristically associated to any braided monoidal categories, which we refer to as their (Street's) geometric nerves.