Abstract
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.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Theory and Applications of Categories |
Vol/bind | 32 |
Nummer | 24 |
Sider (fra-til) | 803-822 |
Antal sider | 20 |
ISSN | 1201-561X |
Status | Udgivet - 28 jul. 2017 |