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

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

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

参照用 記事

2016-04-13から1日間の記事一覧

モノイド圏と加群圏に関するフォークロアとマックレーン五角形・三角形

Cがモノイド圏でDが圏のとき、二項関手(双関手) H:C×D→D が結合律と単位律を満たすならば、(D, H)をC上の加群圏(module category)と呼びます。(加群の圏(category of modules)とは違いますから注意。)モノイド圏C上の加群圏(D, H)と、モノイド関手 Φ…