- 747 名前：583 [2005/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) は全単射になるよね。
おれって丁寧すぎるほど丁寧だよね（苦笑
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
圏論 / カテゴリー論 / Category Theory 2
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef