Up to
充満忠実関手は同型の違いを除いて対象上単射でなければならない．つまり， が充満忠実関手で formula_2 であるならば formula_3 である．