大きな圏
小さな集合
#Set
#ユニバース
#Ens
#Cat
#Mon
#Grp
#Ab
#Rng
#CRng
#20180902075631
今日の圏論
は
圏論の基礎
のp.14
小さな集合
、
ユニバース
、
大きな圏
の例いくつか。
ようやく
関手
が出てきた。
ツイート
https://img.textfile.org/twitter-1036160929879085057-1.jpg
大きな圏の続き。疑問。「体K上の小さなベクトル空間すべて」を対象に持ち「対象間のすべての線形写像」を射に持つ圏はないの？それとも、これは無意味な問い？
https://t.co/yxD8BLwb4w
#Mod
#Top
https://img.textfile.org/twitter-1036167890632814593-1.jpg
Mod
というのはModule（加群）の略のようですね。
それから
$ \textbf{Toph}_\text{*}
もあるそうです。
#20180902