圏同値ならば忠実
#今日の圏論
#ベーシック圏論
なっふぃさん @naughiez が元旦にわざわざ書いてくださった証明(大感謝)のうち「圏同値ならば忠実」の部分を理解した。何が反省点かもまとめた。
https://t.co/9aDQWClz4u
F(A’)と書くべきところが二箇所ほどF(B)になってる。
https://img.hyuki.net/twitter-1214915153755377671-1.jpg
https://img.hyuki.net/twitter-1214915153755377671-2.jpg
https://img.hyuki.net/twitter-1214915153755377671-3.jpg
#20200108
#20200108142159
https://twitter.com/hyuki/status/1214915153755377671