In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.
展开▼