A study of compactness for proximal groups

Abstract

In this paper, we revisit the concept of proximal groups, which are generalization of topological groups. Further, we prove Kuratowski–Mrówka theorem for proximity spaces which motivate us to define categorically compact proximal groups. Finally, we prove Tychonoff theorems for proximal groups. The study is supported by various examples.