圏論 / カテゴリー論 / Category Theory 3
■ このスレッドは過去ログ倉庫に格納されています
0383132人目の素数さん
2007/04/14(土) 09:33:50(R-Mod) はアーベル圏である。
(R-Mod) の射 X → Y の全体 (R-Arrows) を考える。
X → Y から Z → W への射を、次の可換図式として定義する。
X → Y
| |
v v
Z → W
(R-Arrows) は容易にわかるがアーベル圏である。
ここで問題:
(R-Arrows) における射影対象(または単射的対象)は何か?
■ このスレッドは過去ログ倉庫に格納されています