「対称モノイド圏上の可換モナドはラックス・モノイド・モナドとみなせる」という事実があります。それを聞いても「あーそうですか、それで？」なんだけど、動機があって辿り着くと「ほー、そうかそうか、ウンウン」みたいな気分になります。動機・経緯につ…