This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes weak equivalences, special cases appropriate for the respective Lipschitz settings. Cubical additional compatible structures categories (co)fibrant objects. A categorical equivalence between lifts to full faithful embedding from an associated catego...

“Mathematical chemistry” as an academic field is said to have been proposed by Weyl in the 20th century a way of thinking that abstracts and expresses “variables”, “symbols” “functions” [...]