えっ、ピーター・フレイド（Peter J. Freyd ）って、娘さんに性的虐待で訴えられた？ どうも、娘さんのジェニファー・フレイドの（Jennifer J. Freyd）ほうが有名人みたいだ。

可換モノイドによるモノイダルスタンピングモナドから作ったクライスリ圏に対称モノイド積を入れようと試みて、次の等式（つうか同型）が必要になった。少し書き換えてみると：さらに一部と取り出して、整理したら次のようになる。これってベックの分配法則…