A free object and its generators set in group category

• 群范畴中的自由对象及其生成元集