このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2010-05-20から1日間の記事一覧

モダンな圏論の用語法に悩む

僕らがよく知っている圏の定義に基づく議論を、「古典圏論」とか「圏の古典論」とか呼ぶ人がいます。確かに、モナドとかクライスリ圏とか言ってみても半世紀ほども前に出来た理論ですから、古典なんかもしれません。じゃ、モダンな圏論とは何かというと、2つ…