ヒビルテ(2008-08-15)

日々の流転

2008-08-15 [長年日記]

特に何もせずすごす。

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

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