Homotopy Type Theory sequential convergence space > history (changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

Contents

< sequential convergence space

Idea

The most general space where the notion of convergence and limits of sequences make sense.

Definition

In set theory

A set SS is a sequential convergence space if it comes with a binary relation isLimit S(,)isLimit_S(-,-) between the sequence set S\mathbb{N} \to S and SS itself.

In homotopy type theory

A type SS is a sequential convergence space if it comes with a binary relation isLimit S(,)isLimit_S(-,-) between the sequence type S\mathbb{N} \to S and SS itself.

See also

Last revised on June 15, 2022 at 21:09:24. See the history of this page for a list of all contributions to it.