The inverse limit in the category of topological molecular lattices (Q5931173)

A topological molecular lattice, a TML for short, is a pair \((L,\tau)\), where \(L\) is a completely distributive lattice and \(\tau\) is a subset of \(L\) which is closed with respect to finite suprema and arbitrary infinima. \(L\) can be regarded as a generalized powerset and \(\tau\) as a co-topology on \(L\). A morphism between two TML's \((L,\tau)\to (M,\eta)\) is a complete lattice morphism \(f: M\to L\) such that \(f(\eta)\subseteq \tau\). It should be pointed out that in this paper the author uses the left adjoint \(f^*:L\to M\) of \(f\) to denote such a morphism and \(f^*\) is called a generalized order homomorphism. This paper is devoted to basic properties of inverse limit structures, mappings between inverse limits and limit mappings in the category of TML's.