2009-11-20から1日間の記事一覧
2009-11-21 の 層圏トポス寄せ鍋用のスライドです。Math::Category は自分の勉強用に実装した、 Perlで主に射の概念を抽象的に扱うためのモジュールです。現在、関手、自然変換、モナドの概念に対応してます。極限や随伴とかは実装してません。 Math::Catego…
2009-11-21 の 層圏トポス寄せ鍋用のスライドです。Math::Category は自分の勉強用に実装した、 Perlで主に射の概念を抽象的に扱うためのモジュールです。現在、関手、自然変換、モナドの概念に対応してます。極限や随伴とかは実装してません。 Math::Catego…