A categorical approach to convergence: Compactness

A convergence class is introduced on every object of a given category by using certain generalized nets for expressing the convergence. The obtained concrete category is then investigated whose objects are the pairs consisting of objects of the original category and convergence classes on them and whose morphisms are the morphisms of the original category that preserve the convergence. We define, in a natural way, separation and compactness of objects of the concrete category under investigation and study their behavior.