Compactification and Closure

摘要

A topological spaceXis compact iff for any other spaceY, the projection mapπY:X×Y→Yis closed. Previous authors have used this characterisation, and the theory of categorical closure operators, to study compactness in a general setting.