Monoids for Day Convolution

2026-10-02 ยท

If ๐’ž๏ธ€ is a monoidal, ๐’ฑ๏ธ€-enriched category, then monoid objects for the Day Convolution over ๐’ž๏ธ€ are given by lax monoidal functors from ๐’ž๏ธ€ to ๐’ฑ๏ธ€.

sss-0003 note entries/sss-0003.hel