Aarhus Universitets segl

Metric spaces and SDG

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

We present an axiomatic theory, based on the notions of metric space and space with a (first order) neighbour relation. The axiomatics implies a synthetic proof of Huygens’ principle of wave fronts, as envelopes of a family of spheres. A model of the axiomatics is presented in terms of synthetic differential geometry (SDG)1.

TidsskriftTheory and Applications of Categories
Sider (fra-til)803-822
Antal sider20
StatusUdgivet - 28 jul. 2017

Se relationer på Aarhus Universitet Citationsformater

ID: 120998324