群対象についてのツイート
#今日の圏論
#圏論ツイート
群対象
というのは何だろうか🤔
有限積を持つ圏Cについて、対象GがCにおける群対象であるとは、射
m:G×G→G,
e:1→G,
inv:G→G
が存在し、群と同様の公理を満たすことである。
https://t.co/KcLgN9pHyQ
#20181202
#20181202072926
ツイート