ここでは圏論における "全射" を定義して, 直感に反するような全射の例を紹介します. まずは定義から. 定義 1. 圏 の射 が 全射的(epimorphic, epic) であるとは, 任意の対象 への からの任意の二つの射 に対し, ならば が成り立つことをいう. このとき を …