圏同値
任意の C のふたつの対象 c1, c2 について、関手 F の誘導する写像 HomC(c1, c2) → HomD(Fc1, Fc2) は単射