Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-11-20から1日間の記事一覧

層圏トポス寄せ鍋 - Math::Category のスライド

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