Representations of Bialgebras
Let’s say we have two algebra representations and . These are morphisms in the category of -algebras, and so of course we can take their tensor product . But this is not a representation of the same algebra. It’s a representation of the tensor square of the algebra:
Ah, but if we have a way to send to (an algebra homomorphism, that is), then we can compose it with this tensor product to get a representation of . And that’s exactly what the comultiplication does for us. We abuse notation slightly and write:
where the homomorphism of this representation is the comultiplication followed by the tensor product of the two homomorphisms, followed by the equivalence of algebras.
Notice here that the underlying vector space of the tensor product of two representations is the tensor product of their underlying vector spaces . That is, if we think (as many approaches to representation theory do) of the vector space as fundamental and the homomorphism as extra structure, then this is saying we can put the structure of a representation on the tensor product of the vector spaces.
Which leads us to the next consideration. For the tensor product to be a monoidal structure we need an associator. And the underlying linear map on vector spaces must clearly be the old associator for . We just need to verify that it commutes with the action of .
So let’s consider three representations , , and . Given an algebra element and vectors , , and , we have the action
On the other hand, if we associate the other way we have the action
Where we have used the Sweedler notation to write out the comultiplications of . But now we can use the coassociativity of the comultiplication — along with the fact that, as algebra homomorphisms, the representations are linear maps — to show that the associator on intertwines these actions, and thus acts as an associator for the category of representations of as well.
We also need a unit object, and similar considerations to those above tell us it should be based on the vector space unit object. That is, we need a homomorphism . But linear maps from the base field to itself (considered as a one-dimensional vector space) are just multiplications by field elements! That is, the algebra is just the field itself, and we need a homomorphism . This is precisely what the counit provides! I’ll leave it to you to verify that the left and right unit maps from vector spaces intertwine the relevant representations.