Homotopy and the Kestelman-Borwein-Ditor theorem

The Kestelman-Borwein-Ditor Theorem, on embedding a null sequence by translation in (measure/category) `large' sets, has two generalizations. Miller MilH replaces the translated sequence by a `sequence homotopic to the identity'. The authors, in Research Report LSE-CDAM-2007-26, replace points by functions: a uniform functional null sequence replaces the null sequence and translation receives a functional form. We give a unified approach to results of this kind. In particular, we show that (i) Miller's homotopy version follows from the functional version, and (ii) the pointwise instance of the functional version follows from Miller's homotopy version.