消去可能な関手

加法関手 $G\colon \mathcal A \to \mathcal B$ が消去可能（effaceable）であるとは、任意の対象 $X$ に対し、mono $u\colon X \to M$ で $G(u) = 0$ となるものが存在することをいう。双対に、任意の $X$ に対し epi $q\colon M \to X$ で $G(q) = 0$ となるものが存在するとき、余消去可能であるという。