2010-11-25から1日間の記事一覧
first と pure は図式の中では関手っぽさを出すため First と Pure のように先頭大文字にしてみた。多相なものには気分によって型を補足した。1.[拡張] first (pure f) = pure (f×id)Hom(X,Y) で X から Y への射の集まりを表すと (-)×id_D Hom(B,C) ---…
first と pure は図式の中では関手っぽさを出すため First と Pure のように先頭大文字にしてみた。多相なものには気分によって型を補足した。1.[拡張] first (pure f) = pure (f×id)Hom(X,Y) で X から Y への射の集まりを表すと (-)×id_D Hom(B,C) ---…