Commit 2025-11-04 08:07 cf3061f2

feat: convolution product on linear maps from a coalgebra to an algebra (#25183) Construct the ring structure on linear maps C → A where C is a coalgebra and A an algebra, where multiplication is given by (f * g)(x) = ∑ f x₍₁₎ * g x₍₂₎ in Sweedler notation or

         |
         μ
|   |   / \
f * g = f g
|   |   \ /
         δ
         |

diagrammatically, where μ stands for multiplication and δ for comultiplication. Zulip From Toric