Search results

<td>lax monoidal functor</td>

This change was made to be consistent with referring to the monoidal parameter as a "query" rather than an "annotation". Simply change <code>An

...id objects in an arbitrary [http://en.wikipedia.org/wiki/Monoidal_category monoidal category]. Such categories have a tensor product <math>\otimes</math> of ob A monoid object in a monoidal category is then:

...parenthesization is used (yes, just like in folding a list of any type of monoidal values).

class Functor f => Monoidal f where {{note|In category-theory speak, we say <code>f</code> is a ''lax'' monoidal functor because there aren't necessarily functions in the other direction,