圏同値ならば忠実かつ充満(まちがった証明)
これはまちがっています。
#今日の圏論
#ベーシック圏論
命題1.3.18の証明のうちとりあえず(a)「関手Fが圏同値を与えるならば、充満、忠実、そして対象について本質的に全射である」ことの証明。
できたけど疑問が二つ残っている。
https://t.co/oLt84YNrYv
https://img.hyuki.net/twitter-1212323072579031041-1.jpg
https://img.hyuki.net/twitter-1212323072579031041-2.jpg
#20200101
#20200101104159
https://twitter.com/hyuki/status/1212323072579031041