2011-02-05から1日間の記事一覧
1年半ほど前の「両代数と両クライスリ圏」において、「FがC上のコモナド、Gがモナドのとき、F(X)→G(Y) というCの射を X→Y という射だと思って、両クライスリ圏を構成したい」*1と言って、次のような定義をしてます。 F = (F, δ, ε), G = (G, μ, η) だとする…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
1年半ほど前の「両代数と両クライスリ圏」において、「FがC上のコモナド、Gがモナドのとき、F(X)→G(Y) というCの射を X→Y という射だと思って、両クライスリ圏を構成したい」*1と言って、次のような定義をしてます。 F = (F, δ, ε), G = (G, μ, η) だとする…