群対象
今日の圏論
は
圏論ツイート
を読んでいた。
今の自分の知識でこの2ツイートは理解できるが、解説できるほどは理解できていない。「自分の理解の最前線」ぽい。
https://t.co/3L4gZNJGLG
https://t.co/kco9jd3TLP
https://img.textfile.org/twitter-1037908522241937408-1.jpg
ここで
$ m
というのは群演算の積に相当する射
ここで
$ e
というのは単位元に相当する射
ここでinvというのは逆元に相当する射
のように見える。
#20180907
#20180907034049