范畴CDCPO及其子范畴的完备性

讨论范畴CDCPO的完备性以及余积的存在性。证明了CDCPO的子范畴L-CDCPO不是完备的;给出了该范畴的一个非满的完备子范畴LCDOM并证明了该子范畴存在余积。给出了L-CDCPO范畴的满子范畴LCDOMI并证明其存在等值子。