nForum - Discussion Feed (module over a monoidal functor)2024-03-28T21:16:02+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "module over a monoidal functor" (56627)https://nforum.ncatlab.org/discussion/7009/?Focus=56627#Comment_566272016-03-22T21:03:18+00:002024-03-28T21:16:02+00:00Urshttps://nforum.ncatlab.org/account/4/
created a brief entry module over a monoidal functor, just so that I would have something to link to from the discussion of module objects with respect to Day convolution.