Taking completely distributive lattices for objects and complete lattice homomorphisms for morphisms, we get a category Lat (see Refs. [1—3]). There is a primary question about Lat: Does every family of objects have ...Taking completely distributive lattices for objects and complete lattice homomorphisms for morphisms, we get a category Lat (see Refs. [1—3]). There is a primary question about Lat: Does every family of objects have product and coproduct in Lat? We prove that Lat has products and coproducts, and describe the intrinsic relation between展开更多
基金Project supported partly by the National Natural Science Foundation of China.
文摘Taking completely distributive lattices for objects and complete lattice homomorphisms for morphisms, we get a category Lat (see Refs. [1—3]). There is a primary question about Lat: Does every family of objects have product and coproduct in Lat? We prove that Lat has products and coproducts, and describe the intrinsic relation between