We propose a categorical definition of locally-compact
Hausdorff object which gives the right notion both, for topological
spaces and for locales. Stability properties follow from easy categorical
arguments. The map version of the notion leads to an
investigation of restrictions of perfect maps to open subspaces.
