Aarhus Universitets segl

English

Du er her: AU » Om AU » Organisation » Metric spaces and SDG

Om AU

Metric spaces and SDG

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer 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.

OriginalsprogEngelsk
TidsskriftTheory and Applications of Categories
Vol/bind32
Nummer24
Sider (fra-til)803-822
Antal sider20
ISSN1201-561X
StatusUdgivet - 28 jul. 2017

Se relationer på Aarhus Universitet Citationsformater

ID: 120998324