Monoids for Day Convolution
If is a monoidal, -enriched category, then monoid objects for the Day Convolution over are given by lax monoidal functors from to .
If is a monoidal, -enriched category, then monoid objects for the Day Convolution over are given by lax monoidal functors from to .