If the automorphisms of an object X form a set (instead of a proper class), then they form a group under composition of morphisms.
確定! 回上一頁