Stratification structures on a kind of completely distributive lattices and their applications in theory of topological molecular lattices

Abstract

The authors introduce the concept of stratification structures on completely distributive lattices by direct product decompositions of completely distributive lattices, and prove that there is, up to isomorphism, a unique stratification structure on any normal completely distributive lattice. They then give the concept of stratified completely distributive lattices and prove that the category of stratified completely distributive lattices and stratification-preserving homomorphisms is equivalent to the category whose objects are completely distributive lattices of the form L/sup X/, where L is an irreducible completely distributive lattice and L/sup X/ denotes the family of all L-fuzzy sets on a non-empty set X, and whose morphisms are bi-induced maps. As an application of these results, they give a definition of compactness which has the character of stratifications for a kind of topological molecular lattices.