18/02/11 12:12:10.08 ZnNSfrVn.net
>>453
(5) 任意の写像 g : 1 = {0} → X に対し、 f 〇 g = g である。
⇒
(1) f は X の恒等写像 id_X である。
これを証明するのに斎藤毅さんは、わざわざ可換図式を使っています。
なぜ、そんな解答なのか読者には理解できないのではないでしょうか？
独りよがりですね。
18/02/11 12:12:10.08 ZnNSfrVn.net
>>453
(5) 任意の写像 g : 1 = {0} → X に対し、 f 〇 g = g である。
⇒
(1) f は X の恒等写像 id_X である。
これを証明するのに斎藤毅さんは、わざわざ可換図式を使っています。
なぜ、そんな解答なのか読者には理解できないのではないでしょうか？
独りよがりですね。