A note on local compactness
Abstract: 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.
