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

摘要

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