Ab-圏
#今日の圏論
#圏論の基礎
Ab-圏
の定義。
圏AがAb-圏であるとは、hom_A(a,b) が加法的アーベル群で、合成が双線形
hom集合
そのものに構造がある話題。
合成射
が
双線型性
を持つ。
https://t.co/Ck6mFYER1A
https://img.textfile.org/twitter-1046777576557932545-1.jpg
#20181001
#20181001150317
ツイート