Homotopy Type Theory function limit space > history (Rev #2, changes)

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

Contents

Idea

A general structure where the concept of limit of a function makes sense.

Definition

A function limit space is a type TT such that for all subtypes STS \subseteq T, there is a partial function

lim x()()(x):S×(ST) 𝒰T\lim_{x \to (-)} (-)(x): S \times (S \to T) \to_\mathcal{U} T

called the limit of f:STf:S \to T approaching c:Sc:S.

See also

Revision on April 23, 2022 at 03:56:16 by Anonymous?. See the history of this page for a list of all contributions to it.