引入由Ω-集范畴上的群对象所构成的范畴Grp(Set(Ω)),证明了此范畴与Ω-群范畴是同构的。
. In this paper, we introduce the category of the group objects in the category of Ω-sets Grp(let (/2)) ,and prove that the category Grp(let(Ω)) is isomorphic to the category of Ω-groups.