Homotopy Type Theory
limit of a net > history (Rev #3, changes)
Showing changes from revision #2 to #3:
Added | Removed | Changed
Contents
Definition
In premetric spaces
Let be a directed type, and let be a -premetric space. Given a directed type , a limit of a net is a term with
Of Cauchy approximations
Let be a Archimedean directed ordered type integral domain with and a dense codirected type where the directed type operationstrict order , and is let associative. A limit of a - be thesemiring? of positive terms in . If both and are , then a limit of a Cauchy approximation is a term with
In convergence spaces
…
Sequences
A limit of a sequence is a limit of a net that happens to be a sequence.
See also
Revision on March 12, 2022 at 09:36:10 by
Anonymous?.
See the history of this page for a list of all contributions to it.