Abelian group
当 "C" 是集合范畴，我们讨论的就是单纯集合。设 "C" 是群范畴或阿贝尔群范畴，我们分别得到单纯群范畴和单纯阿贝尔群范畴。