Normal Duoidal Category
Backlinks
Mix Rule
Hadamard Product of Polynomial Functors