群

20180831105834

群は、対象が一つで、すべての射が合成に関する逆元を持つ圏。言い換えると、各元に逆元が存在するモノイド。どこかで圏の双対というのが出てきそう。練習として、位数が2の簡単な群を圏の言葉で書いてみました。こんな感じかしら。

https://img.textfile.org/Dl7FWxaVAAU6KzY.jpg