群を圏として見る(圏を群として見る?)
#今日の圏論
#圏論の基礎
p.12に群を圏としてみる話が一文で書いてありました。「
対象
が一つの
圏
で、すべての
射
が
合成
についての(両)逆元を持つもの」
#20180914
#20180914141849
ツイート