忠実
今日の圏論
は
圏論の基礎
p.18
忠実関手
https://t.co/3O8m1iqGlK
https://img.textfile.org/twitter-1038328821567475712-1.jpg
#20180908
#20180908073056