対象について本質的に全射
#今日の圏論
「対象について本質的に全射」の定義。ふと「充満な関手は、対象について本質的に全射といえる?」と思ったけれど、全然そんなことはなかった。全射に引きずられたけど、充満というのは射関数が全射なのであった。なに言ってるんだ状態である。😢
https://t.co/rSFY1LBIWs
充満
な関手との違いをしっかり理解しないといけない
https://img.hyuki.net/twitter-1211926611366309889-1.jpg
#20191231
#20191231082635
https://twitter.com/hyuki/status/1211926611366309889