Cheeger type Sobolev spaces for metric space targets

In this paper, we consider the natural generalization of Cheeger type Sobolev spaces to maps into a metric space. We solve Dirichlet problem for CAT(0)-space targets, and obtain some results about the relation between Cheeger type Sobolev spaces for maps into a Banach space and those for maps into a subset of that Banach space. We also prove the minimality of upper pointwise Lipschitz constant functions for locally Lipschitz maps into an Alexandrov space of curvature bounded above.