20190711102338
モノイド
から
Set
への
関手
は
左G集合
になり、
関手圏
[M,Set]は
左G集合
の
圏
となる。
定義から追えてはいるけれど、まだどこか腑に落ちていない。
理解のブレが大きくて「瞬時に
自明
と思えるとき」と「さっぱり意味わからないとき」とがある。
まだまだわかってないのだろう。
わからない
https://img.hyuki.net/20190713133843-aed0f78b3329d499.jpg
#20190711
#20190711102338
ツイート
#今日の圏論
#ベーシック圏論