定義
C を圏とする。
E を C の全射からなる類(過去スレ017の323)とする。
任意の C-対象の E-商対象(>>653)の同型類全体が小さい集合のとき
C を E-余べき良(E-co-wellpowered)と言う。

E が C の全ての全射からなるとき
C を余べき良(co-wellpowered)と言う。

E が C の全ての正則全射(>>558)からなるとき
C を正則余べき良(regularly co-wellpowered)と言う。

M が C の全ての極値的全射(>>)からなるとき
C を極値的余べき良(extremally co-wellpowered)と言う。