No.05 同一視が生む感動と失敗談| 圏論と学びをめぐる往復書簡 | talk.hyuki.net

「対象について本質的に全射」という概念が出てきたときでした。 「対象について本質的に全射」の定義を読んだときに「充満関手は、対象について本質的に全射だ」と勘違いしてしまったのです。 「全射」という言葉だけに引きずられてしまいましたが、 充満関手は射関数が全射なのでした。

この間違いは自分もやったなぁ