Commit 2024-10-27 19:43 04f438a0
View on Github →feat: tensor products of bialgebras (#11977)
We define the data in the monoidal structure on bialgebras - e.g. the bialgebra instance on a tensor product of bialgebras, and the tensor product of two BialgHom
s as a BialgHom
. This is done by combining the corresponding API for coalgebras and algebras.