 multilayer compositions preserve connectivity under certain easilycheckable conditions. These are theorems of combinatorial topology, independent of any model of computation.  We then show that for several models of computation