日々の流転

λ. The dual of substitution is redecoration. Tarmo Uustalu, Varmo Vene

• <URL:http://jp.citeulike.org/article/355413>

確かに、変数を含む無限木に対しても substitution は考えるよなぁ。モナドはfreeなconstructionを扱うのに使うのに使うと思い込んでいたので、cofreeなconstructionに対してモナドを使うことは考えたことがなかった。

iterative monad の概念がいまいちピンとこないな……

Computational Category Theoryでは、substitutionをKleisli圏の射としてmguをcoequalizerとして扱っていた。双対的にredecorationをcoKleisli圏の射とするとequalizerには何か直観的な意味はあるか?