圏論 / カテゴリー論 / Category Theory 2
at MATH
747:583
05/09/04 12:01:38
>>743
xを圏Gの射とする。xy = yx = 1 となるＧの射yがあるよね。
F(1) = F(xy) = F(x)F(y) = 1 となるよね。
同様に F(y)F(x) = 1 となるよね。
だから F(x) は全単射になるよね。
おれって丁寧すぎるほど丁寧だよね（苦笑
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5400日前に更新/213 KB
担当:undef