数学的構造を持つ集合が作る圏の例
#今日の圏論
#ベーシック圏論
さまざまな圏の例、
同型射
、
逆射
、対象の同型。
圏Set
圏Grp
圏Rng
圏Vect_k
圏Top
p.14の下から3行目に書いてある「同型写像」は、説明の流れから、たぶん「同型射」のことだと思います。
https://img.hyuki.net/twitter-1139830966862540801-1.jpg
#20190615
#20190615094414
ツイート