Title: Homotopical models for metric spaces and completeness

Abstract: We develop model structures in which homotopy theory can be used on Lawvere metric spaces, with a focus on extended, Cauchy complete Lawvere, and Cauchy complete extended metric spaces. The motivating example for one of these model structures is the proof of the Karoubian model structure on $\mathbf{Cat}$ which has been described in the literature, although no formal proof of its existence was given. We then construct model structures on the categories $\mathbb R_+\text-\mathbf{Cat}$, of Lawvere metric spaces, and ${\mathbb R_+\text-\mathbf{Cat}}^{\mathrm{sym}}$, of symmetric Lawvere metric spaces. The fibrant-cofibrant objects in these three model structures are the extended metric spaces, the Cauchy complete Lawvere metric spaces, and the Cauchy complete extended metric spaces, respectively. In particular, we show that the two of these model structures which model extended metric spaces are suitably ``unique'' while the other bears a striking resemblance to the Karoubian model structure on $\mathbf{Cat}$.