analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
Let be the Dedekind real numbers, and let be the subset of all Dedekind real numbers with a locator, with canonical embedding . A function lift to locators if it comes with a function such that the following square in Set commutes:
Last revised on May 9, 2022 at 03:52:10. See the history of this page for a list of all contributions to it.