Homotopy Type Theory
limit of a net > history (Rev #8)
Contents
Definition
In premetric spaces
Let be a directed type, and let be a -premetric space. Given a directed type , a term is a limit of a net or that converges to if comes with a term
A limit of a sequence is usually written as
Cauchy approximations
Let be a dense Archimedean ordered abelian group with a point and a term . Let be the positive cone? of .
A limit of a -Cauchy approximation is a term with
In convergence spaces
…
See also
Revision on March 22, 2022 at 13:01:33 by
Anonymous?.
See the history of this page for a list of all contributions to it.