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

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

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

参照用 記事

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

オーバー圏、アンダー圏

カンマ圏という概念は広すぎるので、その特殊例にスライス圏(slice category)という名前が付けられています。Cが圏で、Aが対象のとき、新しい圏C/Aが次のように定義できます。 C/A の対象は、f:X→A というCの射。 C/A の射 φ:(f:X→A)→(g:Y→A) は、φ:X→Y と…

圏論の練習問題(マジ)

発端は郡司ペギオ-幸夫さんネタですが、以下は、完全にそれとは独立した圏論の練習問題とみなせます。問題-1Cは圏として、A∈|C| を任意に選んだ(しかし特定の)対象とします。Cの部分圏Dで、次の条件を満たすものを定義(構成)してください。 |D| = |C|\{…