充満関手と忠実関手
今日の圏論
は
圏論の基礎
p.18
充満関手
が
全射
っぽくて、
忠実関手
が
単射
っぽいという感覚の答えが次に出て来ました。
ここで
$ \text{hom}(c,c^\prime)
から、
$ \text{hom}(Tc,Tc^\prime)
への関数を考えて、
単射
と
全射
の言葉を使って
充満
と
忠実
を言いあらわせる。
https://t.co/Vx2hcj2f6h
https://img.textfile.org/twitter-1038387445027328000-1.jpg
#20180908
#20180908112353