[rentwi.hyuki.net]

#今日の圏論
#ベーシック圏論
関手圏[G,Set]は、実は「左G集合を対象とする圏」である…という話なんだけど、疑問。その場合の射は単に「左G作用を持つ集合(左G集合)間の写像」ではないですよね?何かを保つ写像、みたいに短く言えると思うんですが…本見てもわからない🤔 https://t.co/3givINPrRJ

#今日の圏論
ノートを見返したらわかった。左G集合の準同型といえばいいのか。

#今日の圏論
これだ。G同変写像。
https://twitter.com/hyuki/status/1199629118804938753?s=21 https://twitter.com/hyuki/status/1199629118804938753

#今日の圏論
ちゃんと本に書いてありました。単に四日前にやったことを私がけろっと忘れていただけでした😅

2019-12-02 (Mon) 11:08:34