19 Jul
2007
19 Jul
'07
2:46 p.m.
Dear Jeff "Monoid" and "object on which a monoid acts" make sense in any multicategory. A monoidal functor is a monoid in the convolution multicategory [V,W] of functors from V to W. The T of which you speak is an object on which M acts in [V,W]. Regards, Ross On 18/07/2007, at 4:11 AM, Jeff Egger wrote:
In general, given a monoidal functor M:V-->W and a functor T:V-->W, a right-action of M on T should be a n.t. of the form T(A)@M(B)-->T(A@B) satisfying the obvious associativity and unitality axioms. -------------------- I have always assumed that this concept is well-known, but I haven't succeeded in finding a reference in the literature for it... perhaps some of the more well-read readers of this list could help me out?