Defining the boundary of a homology manifold

Abstract

We show that the natural homological analogue of the definition of topological manifold with boundary does indeed properly capture the properties required of a homology manifold with boundary. Accordingly existing definitions requiring that the boundary is already a (homology) manifold can be simplified.