Metric spaces and SDG

Anders Kock

Metric spaces and SDG

^*Corresponding author for this work

Department of Mathematics

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

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)¹.

Original language	English
Journal	Theory and Applications of Categories
Volume	32
Issue	24
Pages (from-to)	803-822
Number of pages	20
ISSN	1201-561X
Publication status	Published - 28 Jul 2017

Keywords

Metric spaces
Synthetic differential geometry

Cite this

@article{d0e69d1262ed4069bd4bf8ac30b508e5,

title = "Metric spaces and SDG",

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{\textquoteright} 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.",

keywords = "Metric spaces, Synthetic differential geometry",

author = "Anders Kock",

year = "2017",

month = jul,

day = "28",

language = "English",

volume = "32",

pages = "803--822",

journal = "Theory and Applications of Categories",

issn = "1201-561X",

publisher = "Mount Allison University Department of Mathematics and Science",

number = "24",

}

TY - JOUR

T1 - Metric spaces and SDG

AU - Kock, Anders

PY - 2017/7/28

Y1 - 2017/7/28

N2 - 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.

AB - 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.

KW - Metric spaces

KW - Synthetic differential geometry

UR - http://www.scopus.com/inward/record.url?scp=85026894423&partnerID=8YFLogxK

M3 - Journal article

AN - SCOPUS:85026894423

SN - 1201-561X

VL - 32

SP - 803

EP - 822

JO - Theory and Applications of Categories

JF - Theory and Applications of Categories

IS - 24

ER -

Metric spaces and SDG

Abstract

Keywords

Other files and links

Fingerprint

Cite this