For all classical groups (and for their analogs in infinite dimension or over
general base fields or rings) we construct certain contractions, called {\em
homotopes}. The construction is geometric, using as ingredient {\em involutions
of associative geometries}. We prove that, under suitable assumptions, the
groups and their homotopes have a canonical semigroup completion.