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

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

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

参照用 記事

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

インデックス付き圏のインデックス付き圏

CとDが圏のとき、ベキ(指数)DCを考えます。DCは、CからDへの関手の圏です。 圏の対象: Obj(DC) = Func(C, D) 圏のホムセット: F, G ∈Func(C, D) に対して、DC(F, G) = Nat(F, G) ここで、Func(C, D)は関手(functionじゃなくてfunctor)の集合、Nat(F, G…