このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2021-03-04から1日間の記事一覧

モナドの分解の比較定理

随伴系〈adjunction | adjoint system〉があるとモナドを作れます。逆に、モナドを随伴系に分解〈resolution〉して調べたいことがあります。となると、ある特定のモナドに対して、随伴系への分解はどのくらいあるのだろう? と知りたくなるのが人情です。モ…