Homotopical models for metric spaces and completeness

Isaiah Dailey, Clara Huggins, Semir Mujevic +1

Categories enriched in the opposite poset of non-negative reals can be viewed as generalizations of metric spaces, known as Lawvere metric spaces. In this article, we develop model…