Metric spaces and SDG
Metric Geometry
2017-02-24 v4
Abstract
We explore how the synthetic theory of metric spaces (Busemann) can coexist with synthetic differential geometry in the sense based on nilpotent elements in the number line.
Keywords
Cite
@article{arxiv.1610.10005,
title = {Metric spaces and SDG},
author = {Anders Kock},
journal= {arXiv preprint arXiv:1610.10005},
year = {2017}
}
Comments
Compared to Version 2 and 3, some redundancies are removed, and some arguments are corrected or completed