圏論入門　#2

圏論入門 #2

はじめに

こんにちはuchです。
なかなか寒くなってきたと言いたいところですが、日中は暖かい日もあり、寒いのが好きな私はもっと早く冬が深まるのを待つばかりです。
今回も圏についてまとめます。同型射という概念についてです。
圏の定義や簡単な例については#1を参照

同型射

柔らかく言い換えると$f$を作用させた後に$g$を作用させると元の対象に戻ってくる！ということですね。

また上の状況で$g$のことを$f^{-1}$と書いたり、$A \cong B$と書いたりもしますね。

終わりに

短すぎだろと思ったそこのあなた。申し訳ない。
疲れ＆眠気が襲ってきたためいつか追記することを祈ってここで締めくくらせていただきます。