A categorical guide to separation, compactness and perfectness

Abstract

Based on a rather arbitrary class of morphisms in a category, which play the role of "closed maps", we present a general approach to separation and compactness, both at the object and the morphism levels. It covers essential parts of the classical topological theory, generalizes various previous categorical treatments of the theme, and allows for a number of less expected applications outside topology.