arXiv:1810.06188 [math.MG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords euclidean space, normed space, finite-dimensional vector space, associated quotient metric space, implicit functorial construction Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset