institution中自由理论态射的合成

本文在一定的条件下建立了institution中理论态射的粘合与各因子态射的自由性之间的联系.并证明了自由理论态射的复合仍为自由的.