圏同値と忠実充満・本質的全射の同値性

下記GitHubのリンクから（Readmeで紹介のChrome Extensionで数式が表示される）

github.com

圏論の厄介なところは丁寧に書けば書くほど面倒になるところ。黒板だと口頭で説明できるから直ぐ終わるけど、TeXで書くのは骨が折れた。図式スイスイ書ける人マジでどんな能力だ。

メイン主張は圏同値と忠実充満・本質的全射の同値性。これで圏同値が分かりやすく特徴付けられる。