Frame偶范畴及若干相关的范畴

引入frame偶范畴FrmPair,它以Frame范畴Frm为子范畴,证明在范畴等价意义下,分子格范畴CD是locale范畴Loc的子范畴;拓扑分子格范畴TML是范畴FrmPoir之逆范畴的子范畴。