自由摹群与摹群的自由积

给出了自由摹群和摹群自由积的定义以及它们的范畴性质。