On categories of merotopic, nearness, and filter algebras

Abstract

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 category of filters has a left adjoint.