2.6 Theorem = Let M3 = M1 + MOM2 be the pushout object of mj : MO ✦ Mj , j 1,2 , in the category Mod and let SEMj and RSEMj be the semantics of Mj , j = 0 ...
確定! 回上一頁