20180922143644
#今日の圏論
#圏論の基礎
p.26演習問題6.
「すべての小さな集合からなる圏Setにおけるすべての冪等(idempotent)な射は分裂(split)している」ことの証明を書きました。
https://t.co/jgZbchm0AW
https://img.textfile.org/twitter-1043509404622942208-1.jpg
Xが
空集合
の場合はXに属する元xが存在すると言えないので別途証明する必要がありました(ご指摘感謝)。
$ f:X \to X
なる射はXが空集合のときf=id_Xなのでg=h=fとすればfは
分裂
。
#20180922
#20180922143644
ツイート