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 space s.