圏同値ならば充満
なっふぃさん @naughiez が元旦にわざわざ書いてくださった証明(大感謝)のうち「圏同値ならば充満」の部分を理解した。何が反省点かもまとめた。 圏同値での関手FとGは同型で考えるんだけど…「FとGが同型である→自然同型αが存在する→成分で考えるとα_Aは同型射→逆射が存在するのでうまく使ってイコールに持ち込める」というのがさらっと出てこない😖 行列計算の「成分使えば証明できる」みたいなのがスッと出てこない🤔
なお、元旦に結城がまちがいまくっていて、なっふぃさんが証明を書いてくださったスレッドはこちら。
https://img.hyuki.net/twitter-1218501493688455171-1.jpg
https://img.hyuki.net/twitter-1218501493688455171-2.jpg
https://img.hyuki.net/twitter-1218501493688455171-3.jpg
https://img.hyuki.net/twitter-1218501493688455171-4.jpg