Lattice-valued continuous convergence is induced by a lattice-valued uniform convergence structure (Q853390)

Let \(L\) be a complete Heyting algebra. The author defines a stratified \(L\)-uniform convergence structure on the set of all continuous functions from a stratified \(L\)-limit space to a stratified \(L\)-uniform convergence space. This \(L\)-uniform convergence structure is shown to induce \(L\)-continuous convergence on the function space.