. . "internal ???decoherence??? which forces the objects they describe to act more like homotopy types than sets." . .