逆写像2

以下の記事の続きをかく。 bananake-tai.hatenablog.com まずは演習の証明からする。 演習 逆写像の定義1で逆写像の一意性を証明せよ。 証明 今、 $$ \exists g:Y\to X\ ;g\circ f=1_X \land f\circ g=1_Y\\ \exists g':Y\to X\…