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|\{…