トップ «前の日記(2006-03-23) 最新 次の日記(2006-03-25)» 月表示 編集

日々の流転


2006-03-24 [長年日記]

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

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

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

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

Tags: 論文 圏論