来说，formula_16是在群范畴中图表的推出。这定理可以推广至formula_1的任意多个开子空间的覆盖：设当formula_29，令为由包含所导出的群同态。又令为由formula_32所导出的群同态。那么formula_16有下述的泛性质：设formula_34为群，对所有formula_35有群同态formula_36，使得若formula_29，则那么存在唯一的群同态formula_39，使得对所有formula_35，都有这个泛性质决定唯一的formula_16。（不别群