例
空吸い込み(>>16) (φ, X) が全吸い込み(>>19)であるためには
任意の対象 Y に対象に対して Hom(X, Y) が空または１個の射からなることが必要十分である。