右カン拡張のお勉強の一環として、自己カン拡張から余密度モナド（codensity monad）を作ろうとして描いた絵。サボテンのようなパイプのような。
参考にしているネタ元は、Ralf Hinze, "Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick." （http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf）です。
このブログの更新は X（旧Twitter）アカウント @m_hiyama で通知されます。
Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。