On convergence approach spaces (Q1383225)

This paper deals with generalizations of two well-known concepts; namely, axioms \(F\) and \(R\). In the category Lim of limit spaces the axioms \(F\) and \(R\) are dual and a limit space satisfies \(F(R)\) if and only if it is topological (resp. regular). In this paper axiom \(F(R)\) is extended to the category \(CAP\) of convergence approach spaces in two ways: to an axiom \(F\) (resp. \(R)\) and to a stronger version \(F_s\) (resp. \(R_s)\). The category Lim is embedded in \(CAP\) and the restriction to Lim of \(F\) and \(F_s\) \((R\) and \(R_s)\) reduce to \(F\) (resp. \(R)\). Since the objects of the category \(CAP\) can equivalently be described as sets supplied with convergence approach limits or as sets supplied with limit towers, the axioms \(F,R, F_s,R_s\), can be and are formulated from both points of view and are shown to define full bireflective subcategories \(FCAP\), \(RCAP\), \(F_sCAP\), \(R_sCAP\) of \(CAP\). Moreover, it is shown that \(FCAP\) is isomorphic to \(AP\), the category of approach spaces, that \(F_sCAP\) is determined by the non-Archimedian approach spaces and \(RCAP\) \((R_sCAP)\) define the regular (resp. strongly regular) convergence approach spaces. Simple and intuitive characterizations of these axioms are also presented.