2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/222062The singular simplicial set Sing(X) of a space X completely captures its weak homotopy type. We introduce a category of_controlled sets_, yielding _simplicial controlled sets_, such that one can functorially produce a singular simplicial controlled set CSing(MaxCtl(X)) from a locally compact X. We then argue that this CSing(MaxCtl(X)) captures the (weak)_proper_ homotopy type of X. Moreover, our techniques strictly generalize the classical simplicial situation: e.g., one obtains, in a unified way, singular homology with compact supports and (Borel-Moore) singular homology with locally finite supports, as well as the corresponding cohomologies.9 pages; minor corrections and changes in notationAlgebraic TopologyCategory Theory55P57 (Primary), 18G30, 55U10, 55N10 (Secondary)text