Cauchy space

In general topology, a Cauchy space is a structure introduced by H. H. Keller in 1968, as an axiomatic tool derived from the idea of a Cauchy filter, in order to study completeness in topological spaces. The category of Cauchy spaces and Cauchy continuous maps is cartesian closed, and contains the category of proximity spaces.

See also complete space.

See also: Cauchy space, Cartesian closed, Cauchy filter, Complete space, Completeness, General topology, Mathematics, Proximity space, Topological space