Tensor products of categories of equivariant perverse sheaves
Given an abelian 𝑉-linear rigid monoidal category 𝑉, where 𝑉 is a perfect field, we define squared coalgebras as objects of cocompleted 𝑉 ⨂ 𝑉 (Deligne's tensor product of categories) equipped with the appropriate notion of comultiplication. Based on this, (squared) bialgebras and Hopf algebras are defined without use of braiding. If 𝑉 is the category of 𝑉-vector spaces, squared (co)algebras coincide with conventional ones. If 𝑉 is braided, a braided Hopf algebra can be obtained from a squared...
Page 1