2012-12-14から1日間の記事一覧

圏論との格闘

最近研究柄、圏論という数学の一分野と格闘している。圏論というのは、なんというか非常に抽象的な話をしている学問なのだが、それだけにあんまり数学っぽくなくて、小学生にでも教えることはできる、とさえ言われる怪しい分野だそうだ。この圏論がプログラ…