Brown's Asymptotic Limit Functor and Proper Homology

In 1974, E. M. Brown introduced the $\mathrm{\wp }$-functor to study the proper homotopy groups of an end, suggesting a parallel proper homology theory that has since remained undeveloped. In this paper, we construct this missing proper homology and relate it to proper homotopy by developing a proper Hurewicz theorem. Bypassing abstract pro-categorical machinery, we show that $\mathrm{\wp }$ has major advantages over the classical limits $\mathrm{}$ and ${\mathrm{}}^1$: it is exact, detects pro-triviality, satisfies a cardinality dichotomy, and connects to these classical limits through a 4-term exact sequence. As an application, we prove that the Brown–Grossman proper fundamental group of any open contractible $3$-manifold other than ${\mathbb{R}}^3$ is uncountable and perfect.