A constructive modification of Vietoris homology
It is shown that every -graded module over is a direct sum of cyclics. The invariants for such modules are exactly the smooth invariants of valuated abelian -groups.
A weak form of the constructively important notion of locatedness is lifted from the context of a metric space to that of a uniform space. Certain fundamental results about almost located and totally bounded sets are then proved.
Page 1