The uniform homotopy category (Q6174700)

The paper provides a uniform-theoretic refinement of classical homotopy theory. The authors explore both cubical sets (with connections) and uniform spaces, which admit classes of weak equivalences. These are special cases of classical weak equivalences, appropriate for the respective Lipschitz and uniform settings. Cubical sets and uniform spaces admit the additional compatible structures of categories of (co)fibrant objects. The authors establish a categorical equivalence between classical homotopy categories of cubical sets and spaces. This lifts to a full and faithful embedding from an associated Lipschitz homotopy category of cubical sets into an associated uniform homotopy category of uniform spaces. The paper also delves into bounded cubical cohomology, which generalizes to a representable theory on the Lipschitz homotopy category. Bounded singular cohomology on path-connected spaces generalizes to a representable theory on the uniform homotopy category. In the process, the authors develop a cubical analogue of Kan's \(\mathrm{Ex}^\infty\) functor and prove a cubical approximation theorem for uniform maps.