豊饒圏を関手で拡張すること

「V-豊饒圏をV上のモナドで拡張する」の件。

「セリンガーの論文」で紹介しているhttp://www.mathstat.dal.ca/~selinger/papers/catasynch.pdfの20ページあたりに、T構成として書いてあるのだった。ただし、セリンガーの用語法はあまりよくないので、もっと一般的な概念／用語を使うべきだろう。