Maps of finite powers of metric spaces (recursive conditions for spaces at work)

Let K1 or K2 or K3 be the category of all nonexpanding or uniformly continuous or continuous maps of finite powers X,X2,… of a metric space X. We clarify when the initial segments of these categories are isomorphic. The core of the proofs are constructions which are “unfoldings” of suitable recursive conditions for spaces.