Homotopy Type Theory
uniformly continuous function > history (Rev #1)
Contents
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In set theory
In Archimedean ordered fields
Let be an Archimedean ordered field and let
be the positive elements in . is uniformly continuous in if
In premetric spaces
In homotopy type theory
In Archimedean ordered fields
Let be an Archimedean ordered field and let
be the positive elements in . A function is uniformly continuous in if
In premetric spaces
Let be a premetric space and let
be the positive elements in . A function is uniformly continuous in if
See also
Revision on April 23, 2022 at 03:54:39 by
Anonymous?.
See the history of this page for a list of all contributions to it.