nLab sesquialgebra

Redirected from "sesquiunital sesquialgebras".
Contents

Contents

Idea

A sesquiunital sesquiagebra is an algebra object internal to the monoidal 2-category 2Mod of algebras, bimodules and bimodule intertwiners. This means that it is an algebra equipped with an additional associative product and unit which are both exhibited by bimodules. If these bimodules come from algebra homomorphisms then the sesquialgebra is a bialgebra.

The structure of a sesquialgebra is just so that the category of modules of the underlying algebra is itself a monoidal category. In this sense sesquialgebras are a placeholder for 2-algebras. Moreover, in as far as these 2-algebras themselves are regarded as placeholders for their 2-category of 2-modules a sesquialgebra presents a 3-module/3-vector space.

Sesquialgebras with an extra grouplike-property have been called hopfish algebras.

Definition

Definition

A sesquiunital sesquialgebra over RR is an associative algebra AA over RR equipped with the structure of an algebra object internal to the 2-category 2Mod of associative algebras, bimodules and bimodule intertwiners.

This means that it is an RR-algebra AA equipped with

  • a product A RAA \otimes_R A-AA-bimodule Δ\Delta;

  • a unit RR-AA-bimodule ϵ\epsilon

satisfying the evident associative law and unit law.

Properties

Tannaka duality and 2-rings

Precomposition with the product and unit bimodule makes the category of modules over the underlying associative algebra of a sesquialgebra itself into a monoidal category.

See for instance (Vercruysse, 5.3.3).

In fact, regarding the category of modules Mod AMod_A as a 2-abelian group?, the structure of a sesquialgebra on AA is equivalently the structure of a 2-ring (see there) on Mod AMod_A.

Tannaka duality for categories of modules over monoids/associative algebras

monoid/associative algebracategory of modules
AAMod AMod_A
RR-algebraMod RMod_R-2-module
sesquialgebra2-ring = monoidal presentable category with colimit-preserving tensor product
bialgebrastrict 2-ring: monoidal category with fiber functor
Hopf algebrarigid monoidal category with fiber functor
hopfish algebra (correct version)rigid monoidal category (without fiber functor)
weak Hopf algebrafusion category with generalized fiber functor
quasitriangular bialgebrabraided monoidal category with fiber functor
triangular bialgebrasymmetric monoidal category with fiber functor
quasitriangular Hopf algebra (quantum group)rigid braided monoidal category with fiber functor
triangular Hopf algebrarigid symmetric monoidal category with fiber functor
supercommutative Hopf algebra (supergroup)rigid symmetric monoidal category with fiber functor and Schur smallness
form Drinfeld doubleform Drinfeld center
trialgebraHopf monoidal category

2-Tannaka duality for module categories over monoidal categories

monoidal category2-category of module categories
AAMod AMod_A
RR-2-algebraMod RMod_R-3-module
Hopf monoidal categorymonoidal 2-category (with some duality and strictness structure)

3-Tannaka duality for module 2-categories over monoidal 2-categories

monoidal 2-category3-category of module 2-categories
AAMod AMod_A
RR-3-algebraMod RMod_R-4-module

References

  • Joost Vercruysse, Hopf algebras—Variant notions and reconstruction theorems (arXiv:1202.3613)

See also the references at hopfish algebra.

Last revised on February 7, 2020 at 00:59:39. See the history of this page for a list of all contributions to it.