[[!redirects Cauchy structure]] [[!redirects Cauchy structure homomorphism]] [[!redirects category of Cauchy structures]] < [[nlab:Cauchy structure]] category: redirected to nlab