  In this paper, we survey the existence, uniqueness and interior regularity of
solutions to the Dirichlet problem of Korevaar and Schoen in the setting of
mappings between singular metric spaces. Based on known ideas and techniques,
we separate the necessary analytical assumptions to axiomatizing the theory in
the singular setting. More precisely, - We extend the existence result of Guo
and Wenger [25] for solutions for the Dirichlet problem of Korevaar and Schoen
to the purely singular setting. - When Y has non-positive curvature in the
sense of Alexandrov (NPC), we show that the ideas of Jost [40] and Lin [52] can
be adapted to the purely singular setting to yield local Holder continuity of
solutions. - We extend the Liouville theorem of Sturm [67] for harmonic
functions to harmonic mappings between singular metric spaces. - We extend the
theorem of Mayer [57] on the existence of the harmonic mapping flow and solve
the corresponding initial boundary value problem. Combing these known ideas,
with the more or less standard techniques from analysis on metric spaces based
on upper gradients, leads to new results when we consider harmonic mappings
from RCD(K,N) spaces into NPC spaces. One advantage of this type of
axiomatization is that it works for minimizers of other Dirichlet energy
functional. In particular, as applications of the established theory, we deduce
similar results for the Dirichlet problem based on the Kuwae-Shioya energy
functional and for the Dirichlet problem based on upper gradients.
