圏Setの同型射は集合の全単射

「圏Setの同型射」は「集合の全単射に相当する」ということの確認。圏の言葉を集合の言葉で確かめた上で同型射なら全単射であることを示す。逆は略。途中、文章が少し変。

https://img.hyuki.net/twitter-1140202681404776449-1.jpg