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 BialgHoms as a BialgHom. This is done by combining the corresponding API for coalgebras and algebras.

Estimated changes