Some categorical aspects of coarse spaces and balleans (Q529101)

The notion of coarse space (which is a set with a coarse structure) was introduced by \textit{N. Higson} et al. [\(K\)-Theory 11, No. 3, 209--239 (1997; Zbl 0879.19003)] and studied by \textit{J. Roe} [Lectures on coarse geometry. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1042.53027)] extensively. An equivalent notion, called ballean, was studied by \textit{I. Protasov} and \textit{M. Zarichnyi} [General asymptology. L'viv: VNTL Publishers (2007; Zbl 1172.54002)]. In this paper, the authors study the category \(\mathbf{Coarse}\) (with objects the coarse spaces and morphisms the bornologous maps) and its quotient category \(\mathbf{Coarse}/_\sim\) (with objects the coarse spaces and morphisms the closeness classes of bornologous maps) by using both coarse structures and balleans. They prove that the category \(\mathbf{Coarse}\) is topological (see [\textit{G. C. L. Brümmer}, Topology Appl. 18, 27--41 (1984; Zbl 0551.18003)]) and not balanced, while the category \(\mathbf{Coarse}/_\sim\) is balanced; and give a necessary and sufficient condition in order that a quotient entourage structure (resp., quotient ball structure) may be a coarse structure (resp., ballean). Some other categorical properties on \(\mathbf{Coarse}\) are also discussed.