2010-05-20から1日間の記事一覧
僕らがよく知っている圏の定義に基づく議論を、「古典圏論」とか「圏の古典論」とか呼ぶ人がいます。確かに、モナドとかクライスリ圏とか言ってみても半世紀ほども前に出来た理論ですから、古典なんかもしれません。じゃ、モダンな圏論とは何かというと、2つ…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
僕らがよく知っている圏の定義に基づく議論を、「古典圏論」とか「圏の古典論」とか呼ぶ人がいます。確かに、モナドとかクライスリ圏とか言ってみても半世紀ほども前に出来た理論ですから、古典なんかもしれません。じゃ、モダンな圏論とは何かというと、2つ…