Subcategories of lattice-valued convergence spaces

We study several subcategories of Heyting-algebra-valued convergence spaces. These categories generalize the well-known categories of Kent convergence spaces, of limit spaces, of pretopological spaces, of pseudo-topological spaces and of topological limit spaces to the many-valued setting. Moreover a functorial mechanism is described for changing the “basis-lattice”.