2
votes
2answers
172 views

Is antipode unique for bialgebras in arbitrary monoidal categories?

If $B$ is a bialgebra in the category $\tt{Vect}$ of vector spaces (over $\mathbb C$, for example) then $B$ can't have two different antipodes. Is this true for bialgebras in an arbitrary symmetric ...
2
votes
1answer
103 views

When is an exponential functor a bialgebra?

My question is about the notion of exponential functors as they are frequently defined in the literature on (strict) polynomial functors, e.g., the paper "General Linear and Functor Cohomology" by ...
2
votes
0answers
115 views

quantum deformations of tensor category

I was told that, if I understand correctly, that the enveloping algebra of semisimple Lie algebra admits one family of quantum deformation as Hopf algebra, which was proved by Drinfeld. Anyone can ...
2
votes
0answers
117 views

Is an integral simple fusion ring, categorifiable?

A fusion ring $\mathcal{F}$ (see here p 28) is integral if the Perron-Frobenius dimension $d(h_i)$ of its basic elements $\{h_1,...,h_r\}$, are integers. Its rank is $r$ and its dimension is $\sum ...
5
votes
0answers
185 views

How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two. Version 1: Let $(C,\otimes)$ be any monoidal ...
5
votes
2answers
278 views

Free cocommutative commutative Hopf monoids

I have some questions about generalizations of abelian groups, relative to symmetric monoidal categories. 1) Let $C$ be a cocomplete cartesian monoidal category with equalizers. I can show that the ...
3
votes
1answer
262 views

Classification of plethories over $\mathbb{Q}$

Let $k$ be a commutative ring. For every cocommutative bialgebra $A$ over $k$ the symmetric algebra of the underlying $k$-module $S(A)$ carries the structure of a $k$-plethory (Borger, Wieland, 2.5). ...
8
votes
0answers
291 views

Bicommutative Hopf algebras have internal hom objects. What are they?

Let $k$ be a field and $\mathcal H$ the category of conilpotent bicommutative Hopf algebras over $k$. (Conilpotent means that every element eventually becomes zero if you apply the reduced ...
5
votes
5answers
411 views

What are the correct axioms for a “weakly associative monoidal functor”?

Definitions and the main question Recall that a category $\mathcal C$ is monoidal if it is equipped with the following data (two functors, three natural transformations, and some properties): a ...
5
votes
4answers
383 views

Is every monomorphism of commutative Hopf algebras (over a field) injective?

Is it true that any monomorphism of commutative Hopf algebras over a field is injective? Moreover, is it true that any epimorphism of commutative Hopf algebras over a field is surjective?
2
votes
1answer
242 views

When does a certain natural construction on monoidal categories yield a Hopf algebra?

Let $\mathcal C = (\mathcal C_0,\mathcal C_1)$ be a (small) strict monoidal category. Pick a field $\mathbb K$, and let $\mathbb K[\mathcal C_1]$ be the vector space with basis the morphism of ...
12
votes
6answers
980 views

What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf algebra (maybe if ...
8
votes
3answers
518 views

Faithfully flat descent over Hopf algebras in terms of comodule structures

Let A be a (finite-dimensional graded cocommutative) Hopf algebra over a field k, E be a Hopf subalgebra, and R=A \otimes_E k. Then the comultiplication on A induces a coalgebra structure on R. ...