we study algebraic properties of categories of merotopic, nearness, and filter algebras. we show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. the forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...

The notion of stratified (L, M)-semiuniform convergence tower spaces is introduced, which extends the notions ofprobabilistic semiuniform convergence spaces and lattice-valued semiuniform convergence spaces. The resulting categoryis shown to be a strong topological universe. Besides, the relations between our category and that of stratified (L, M)-filter tower spaces are studied.

the concept of ${mathscr{f}}_{st}$-fundamentality is introduced in uniform spaces, generated by some filter ${mathscr{f}}$. its equivalence to the concept of ${mathscr{f}}$-convergence in uniform spaces is proved. this convergence generalizes many kinds of convergence, including the well-known statistical convergence.

The paper is about the comparison between (apparently) different cartesian closed extensions of the category of topological spaces. Since topological spaces do not in general allow formation of function spaces, the problem of determining suitable categories with such a property—and nicely related to that of topological spaces—was studied from many different perspectives: general topology, funct...

The concept of ${mathscr{F}}_{st}$-fundamentality is introduced in uniform spaces, generated by some filter ${mathscr{F}}$. Its equivalence to the concept of ${mathscr{F}}$-convergence in uniform spaces is proved. This convergence generalizes many kinds of convergence, including the well-known statistical convergence.

Countably based filter spaces have been suggested in the 1970’s as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the class of spaces which can be handled by the Type-2 Model of Effectivity (TTE). We prove that the category of countably based proper filter spaces is equivalent to the category of countably based weak limit spaces. This resul...

The categorical topologists Bentley et al. [1] have shown that the category FIL of filter spaces is isomorphic to the category of filter merotopic spaces which were introduced by Katětov [3]. The category CHY of Cauchy spaces is also known to be a bireflective, finally dense subcategory of FIL [7]. So the category FIL is an important category which deserves special discussion. A completion theo...

The aim of this paper is to introduce power idealization filter topologies with respect to filter topologies and power ideals of lattice implication algebras, and to investigate some properties of power idealization filter topological spaces and their quotient spaces.

We develop a general framework for various lattice-valued, probabilistic and approach uniform convergence spaces. To this end, we use the concept of $s$-stratified $LM$-filter, where $L$ and $M$ are suitable frames. A stratified $LMN$-uniform convergence tower is then a family of structures indexed by a quantale $N$. For different choices of $L,M$ and $N$ we obtain the lattice-valued, probabili...

We study algebraic properties of categories of Merotopic, Nearness, and Filter Algebras. We show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. The forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...