2009-11-21 の 層圏トポス寄せ鍋用のスライドです。Math::Category は自分の勉強用に実装した、 Perlで主に射の概念を抽象的に扱うためのモジュールです。現在、関手、自然変換、モナドの概念に対応してます。極限や随伴とかは実装してません。
ソースはgithub上にあります。
参考までに、github上でAcme::Monadsなんての書いてる方も居るみたいです。どちらかと言えばHaskell的なシンタックスにこだわってるみたい。Acme::Monadsの内容を紹介したスライドはこちら。
