Higher-order preconnections in synthetic differential geometry of jet bundles.
Page 1
Nishimura, Hirokazu (2004)
Beiträge zur Algebra und Geometrie
O. Ovchinnikov (2007)
Mathware and Soft Computing
W. Kirk (1998)
Fundamenta Mathematicae
It is shown that for a metric space (M,d) the following are equivalent: (i) M is a complete ℝ-tree; (ii) M is hyperconvex and has unique metric segments.
Page 1