Completion of stratified \((L,M)\)-filter tower spaces (Q691788)

Let \(L\) be a complete Heyting algebra, \(X\) a nonempty set. A stratified \(L\)-filter on \(X\) is a nondecreasing mapping \(\mathcal F : L^X \to L\) mapping the zero and unit element of \(L^X\) to respective elements in \(L\), satisfying \(\mathcal F(A) \land \mathcal F(B) \leq \mathcal F (A \land B)\) and \(a \land \mathcal F (A) \leq \mathcal F (a_X \land A)\). The set of all stratified \(L\)-filters is denoted by \(\mathcal F^s_L (X)\). The central notion of the paper is that of a stratified \((L,M)\)-filter tower space, which is a collection \(\{\gamma_{\lambda} ; \lambda \in M \}\) of subsets of \(\mathcal F^s_L (X)\) fulfilling certain natural properties. It is shown that the resulting category is a strong topological universe. The completions of these spaces are studied as well.