Search results
Jump to navigation
Jump to search
- <td>lax monoidal functor</td>4 KB (677 words) - 10:52, 24 May 2010
- This change was made to be consistent with referring to the monoidal parameter as a "query" rather than an "annotation". Simply change <code>An3 KB (570 words) - 03:31, 6 March 2012
- ...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:13 KB (2,245 words) - 15:18, 6 February 2021
- ...parenthesization is used (yes, just like in folding a list of any type of monoidal values).5 KB (788 words) - 10:40, 1 February 2024
- 11 KB (1,895 words) - 19:00, 18 May 2020
- 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,179 KB (29,519 words) - 16:10, 30 December 2022