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

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

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

参照用 記事

2013-01-21から1日間の記事一覧

二重圏のもっと簡単な例:圏の可換四角形の二重圏

二重圏の例としては、普通の圏から構成できる非常に簡単な例があったわ。Cが圏として、Cから二重圏Dを構成できます。二重圏Dの素材である D0, Dh1, Dv1, D2 は: D0 := Obj(C) = |C| Dh1 := Mor(C) Dv1 := Mor(C) D2 := Cの可換四角形の全体 Cの可換四角形と…