完全分配格范畴中的乘积和上积及其结构

以完全分格视为对象,完备格同态为态射,构成一个范畴Lat(有关格论和范畴论的知识及本文涉及的基本概念参见文献1—3])。 定义1 设L_1,L_2为完备格,g:L_1→L_2为任意映射,我们称