トップ «前の日記(2008-08-14) 最新 次の日記(2008-08-16)» 月表示 編集

日々の流転


2008-08-15 [長年日記]

特に何もせずすごす。

λ. The Comonad.Reader » Kan Extensions

活動記録/20080529 - ocaml-nagoya の次回予告に載っていた The Comonad.Reader » Kan Extensions を読んだ。

Haskellを使って説明すると、登場するのがHaskellの型と関数からなる圏だけで、複数の圏が登場しなくなってしまうので、極限や余極限の説明等ちょっと苦しい感じがする部分もある。けど、面白い。Kan拡張の定義を知ってはいたけど、これを読んで少し慣れることが出来た。

あと、category-extrasって昔 Category extras - ヒビルテ (2004-12-09) で取り上げたときから、ずいぶん色々追加されているのね。

関連