---
title: 'Cauchy Completion: Theory & Extensions'
url: https://www.emergentmind.com/topics/cauchy-completion
type: topic
---

# Cauchy Completion: Theory & Extensions

Searching arXiv for recent and foundational papers on Cauchy completion and related enriched, uniform, and constructive perspectives.
Cauchy completion denotes a family of constructions and completeness properties centered on the passage from approximate objects to actual ones. In the classical metric and uniform setting it means adjoining limits of Cauchy sequences, nets, or filters. In enriched category theory it means requiring that every left adjoint module, bimodule, or distributor into a category be representable, so that no further “Cauchy objects” need be added [1712.00560]. Across recent work, the notion has been reformulated through absolute colimits, idempotent splitting, Isbell conjugacy, localic completion, asymmetric completion theories, and logical principles such as unique choice [2102.08290][2402.19266].

## 1. Enriched-category-theoretic core

In the enriched sense used by Lawvere-style completion theory, a \(\mathcal V\)-module
\[
M:\mathcal B \nrightarrow \mathcal C
\]
is called Cauchy when it has a right adjoint in the bicategory \(\mathcal V\text{-}\mathrm{Mod}\). A \(\mathcal V\)-category \(\mathcal C\) is Cauchy complete when every Cauchy module into \(\mathcal C\) is representable; for a one-object source \(\mathcal I\), this means that if \(M:\mathcal I\nrightarrow\mathcal C\) is Cauchy, then there exists \(C\in\mathcal C\) with
\[
M \cong \mathcal C(-,C).
\]
The same notion can be expressed by saying that Cauchy modules are exactly those weights whose weighted colimits are absolute, and that a \(\mathcal V\)-category is Cauchy complete exactly when it has all absolute-weighted colimits [1712.00560].

This enriched formulation recovers ordinary category theory when the base is changed. For ordinary categories, Cauchy completeness is equivalent to splitting idempotents, so it coincides with Karoubi or idempotent completeness. The concrete Karoubi-envelope description takes objects to be pairs \((a,e)\) where \(e:a\to a\) is idempotent, and morphisms \(f:(a,e)\to(a',e')\) satisfy \(e'fe=f\) [2102.08290].

Recent work on \(V\)-normed categories extends both sides of this picture simultaneously. A small \(V\)-normed category \(A\) is Lawvere complete when every left adjoint \(\mathsf{Set}{/\!\!/}V\)-distributor \(\Phi:E\modto A\) is representable, and this is characterized by two conditions: the ordinary category \(A_\circ\) of \(k\)-morphisms is idempotent complete, and every left adjoint distributor has a presentable unit [2510.00912]. This shows that in normed settings idempotent splitting remains necessary but is no longer sufficient by itself.

## 2. Completion by filters, formal balls, and locales

For generalized uniform spaces, a constructive pointfree completion can be built from formal balls. A generalized uniform space \((X,M)\) consists of a set \(X\) together with an inhabited family \(M\) of generalized metrics \(d:X\times X\to \UR\), closed under binary sups. Its localic completion is the formal topology \(\mathcal U(X)\) on basic opens
\[
\ball_d(x,\varepsilon),
\]
ordered by
\[
\ball_d(y,\delta)\le_X \ball_\rho(x,\varepsilon)\iff \rho\le d \;\amp\; \rho(x,y)+\delta\le \varepsilon,
\]
with covers generated by
\[
\text{(U1)}\quad a \cov_X \{\,b\in U_X\mid b<_Xa\,\},
\qquad
\text{(U2)}\quad a \cov_X \mathcal C_d^\varepsilon.
\]
For symmetric generalized uniform spaces, formal points of \(\mathcal U(X)\) correspond exactly to Cauchy filters, and the induced family \(\widetilde M\) on \(\Pt(\mathcal U(X))\) yields a complete symmetric generalized uniform space. The canonical embedding
\[
i_X(x)=\Diamond x
\]
is an isometry with dense image, and
\[
i_X:(X,M)\to(\Pt(\mathcal U(X)),\widetilde M)
\]
is a completion in the ordinary Cauchy-filter sense [1703.02255].

A parallel pointfree result shows that sequences suffice after passing from spaces to locales. For any pre-uniform locale \(X\), one forms a locale \(Cauchy(X)\) of modulated Cauchy sequences, with generators \([s(n)\in u]\) and \([m(U)=k]\) encoding both sequence values and explicit modulus data. The usual completion \(CX\), defined through regular Cauchy filters, is then obtained as a quotient
\[
q:Cauchy(X)\to CX
\]
which is a lower triquotient. Thus the correct completion of a uniform locale is the localic quotient of a locale of Cauchy sequences, even though ordinary uniform-space completion generally requires filters or nets rather than sequences [2409.15569].

## 3. Absolute colimits, Morita invariance, and logical reformulations

In ordinary category theory, Cauchy completion can be realized inside a presheaf category as the closure of representables under small absolute colimits. Isbell-conjugacy methods sharpen this by showing that for a small category \(A\), a presheaf \(X:A^{op}\to Set\) lies in the Cauchy completion \(\widehat A\) exactly when the associated profunctor \(X:1\rightsquigarrow A\) has a right adjoint, and that right adjoint is the Isbell conjugate \(X^\vee\). The same analysis shows that the reflexive completion \(R(A)\) is generally larger than \(\widehat A\), but contains it as a full subcategory:
\[
\widehat A\subseteq R(A),
\qquad
R(\widehat A)\simeq R(A).
\]
Accordingly, reflexive completion is Morita-invariant and controlled by Cauchy completion without coinciding with it in general [2102.08290].

The universal property of Cauchy completion can also be expressed through Cauchy-dense functors. For a small \(\mathscr V\)-category \(\mathscr A\), its Cauchy completion \(\overline{\mathscr A}\) is the largest \(\mathscr V\)-category admitting a fully faithful Cauchy-dense functor from \(\mathscr A\). Moreover,
\[
F:\mathscr A\to\mathscr B
\]
is fully faithful and Cauchy dense exactly when
\[
[F,\mathscr C]:[\mathscr B,\mathscr C]\to[\mathscr A,\mathscr C]
\]
is an equivalence for every Cauchy complete \(\mathscr C\). In metric enrichment, this specializes to the familiar description of completion as the largest complete target receiving an isometric embedding with dense image [2507.07869].

A logical reformulation replaces profunctors by relations and representables by graphs of maps. In a relational doctrine \(R\), an object \(Y\) is Cauchy-complete precisely when every relation \(\alpha\in R(X,Y)\) that is functional and total,
\[
\alpha^\circ\alpha\le d_Y,
\qquad
d_X\le \alpha\alpha^\circ,
\]
is the graph of a map \(f:X\to Y\). This identifies Cauchy completeness with the rule of unique choice. The doctrine \(\mathrm{Ruc}(R)\) is the free completion adding strong unique choice, and singleton objects characterize when the full subcategory of Cauchy-complete objects is reflective [2402.19266].

For involutive quantaloids, completion interacts nontrivially with symmetry. If the base quantaloid is Cauchy-bilateral, then there is a distributive law from the Cauchy completion monad over the symmetrisation comonad, and the Cauchy completion of a symmetric \(Q\)-category is again symmetric [1005.1018].

## 4. Causal, quasi-uniform, and other asymmetric forms

One of the sharpest departures from ordinary metric intuition occurs in causal enrichment. Replacing Lawvere’s metric base by
\[
\mathcal R_\bot=[0,\infty]\cup\{\bot\}
\]
produces \(\mathcal R_\bot\)-enriched categories, called causal spaces, in which \(\bot\) records causal nonrelatedness and composition satisfies the reverse triangle inequality
\[
\mathcal E(X,Y)+\mathcal E(Y,Z)\le \mathcal E(X,Z).
\]
For this base, every \(\mathcal R_\bot\)-enriched category is Cauchy complete: if \(M\dashv N\) is a Cauchy module into \(\mathcal E\), the adjunction forces the existence of some \(Z\) with
\[
M(Y)=\mathcal E(Y,Z).
\]
Thus completion is automatic rather than substantial, unlike the metric case [1712.00560].

For quasi-uniform spaces, asymmetry forces a different completion mechanism. A right Stoltenberg-Cauchy net is not sufficient by itself, so completion is built from cuts \(\xi=(\mathcal A_\xi,\mathcal B_\xi)\) pairing right Cauchy nets with compatible left Cauchy conets. The resulting cut space \((\widehat X,\widehat d)\) yields a completion for every quasi-pseudometric space, and arbitrary quasi-uniform completions are then obtained by embedding into products of such completed factors. In the uniform case the asymmetry disappears, the two classes of a cut collapse, and the construction agrees with the classical uniform completion [2009.00511].

A related extension holds for continuity spaces or \(V\)-spaces with uniformly vanishing asymmetry. There the completion points are minimal Cauchy filters, equivalently round Cauchy filters, and the distance between filters is defined by
\[
d(\mathcal F,\mathcal G)=\bigvee_{F\in\mathcal F,\ G\in\mathcal G}\bigwedge_{x\in F,\ y\in G} d(x,y).
\]
If \(\tilde X\) is the space of proper Cauchy filters and \(\hat X\) the space of minimal Cauchy filters, then
\[
\hat X \cong \tilde X_0,
\]
so each zero-distance class of proper Cauchy filters has a unique canonical minimal representative. The embedding
\[
\iota(x)=\mathcal F_x
\]
is isometric with dense image, and \(\hat X\) is complete [1408.3887].

Partial metric spaces show that even denseness itself splits into two notions. Ge–Lin had proved existence and uniqueness of \(p\)-Cauchy completions under symmetric denseness. The asymmetric completion theorem shows that every nonempty partial metric space has a \(p\)-Cauchy completion in which the original space is dense but not symmetrically dense. The construction adjoins a new point \(b\) to \(X\) by choosing \(a\in X\) and defining
\[
p_Y(x,b)=p_X(x,a)+1,
\qquad
p_Y(b,b)=p_X(a,a)+1,
\]
then applies the known symmetric completion of \(Y\). This yields a completion theory in which uniqueness fails as soon as symmetric denseness is dropped [1910.09013].

## 5. Constructive and infinitesimal perspectives

Constructive foundations alter the behavior of Cauchy completion in a fundamental way. In \(\mathrm{IZF}_{\mathrm{Ref}}\) without Countable Choice, the usual Cauchy reals need not be Cauchy complete: it is consistent that not every Cauchy sequence of reals has a limit, even when the sequence of reals itself has a modulus of convergence. The same framework also shows that a Cauchy sequence of rationals may have no modulus and that a Cauchy sequence of Cauchy sequences may fail to converge to a Cauchy sequence. The mechanism in the final model is a finite-support restriction: any candidate limit name depends on only finitely many coordinates, whereas the genuine limit of the generic sequence depends on infinitely many [1510.00639].

Against this, constructive pointfree completion remains robust in symmetric settings. For symmetric generalized uniform spaces, the localic completion \(\mathcal U(X)\) is developed in CZF + REA, and its formal points recover the usual completion by Cauchy filters. In the finite Dedekind symmetric case, the formal points give the standard Bishop-style completion, although some predicative refinements use Countable Choice [1703.02255]. This contrast suggests that constructive failure is not simply a defect of “completion” in general, but of specific quotient and choice principles attached to representative selection.

A different refinement changes not the ambient logic but the equivalence relation on Cauchy sequences. Starting from Cantor’s completion of the reals by quotienting Cauchy sequences by null sequences, one can refine that identification in two ways. If equality is defined through a free-ultrafilter notion of dominant indices, then the quotient \({}^*\mathbb R_{\mathrm f}\) contains nonzero infinitesimals represented by null sequences and its field of fractions recovers the hyperreals. If instead one restricts to little-oh polynomials and declares
\[
u\sim v \iff \lim_{n\to\infty} n(u_n-v_n)=0,
\]
then one obtains the Fermat reals \(\bullet\mathbb R\), where null sequences survive as nilpotent infinitesimals; for example, \(h=[(1/n)]\) is nonzero but \(h^2=0\). In both cases the resulting enriched continua remain complete for the pseudometric determined by standard part [1109.3553].

## 6. Extensions of the paradigm

The scope of Cauchy completion now extends well beyond spaces and ordinary enriched categories. For \(V\)-normed categories, the base of enrichment is \(\mathsf{Set}{/\!\!/}V\), and Lawvere completeness is again formulated through representability of left adjoint distributors. The main characterization is
\[
A \text{ is Lawvere complete}
\iff
\bigl(A_\circ \text{ is idempotent complete}\bigr)
\text{ and }
\bigl(\text{every left adjoint }\Phi:E\modto A\text{ has a presentable unit}\bigr).
\]
This generalizes both Lawvere’s metric-space completeness and ordinary Karoubi completeness while showing that norm data introduce genuinely new constraints [2510.00912].

Completion theory has also been extended from spaces to mappings. For a metric mapping \(f:X\to Y\), where a pseudometric is only required to be a metric on each fibre \(f^{-1}(\{y\})\), completeness is characterized internally by Cauchy nets tied to a point \(y\in Y\): a net \(\Phi:D\to X\) is tied to \(y\) when it is \(d\)-Cauchy and eventually lies over every neighborhood of \(y\). The mapping is complete exactly when every such net converges to some point of the fibre \(f^{-1}(\{y\})\). Its completion is then built from equivalence classes \(C_y^*\) of tied Cauchy nets, assembled into
\[
X^*=\coprod_{y\in Y}(C_y^*\times\{y\}),
\]
with completed mapping \(f^*:X^*\to Y\) and dense isometric embedding \(i(x)=(x^*,f(x))\) [2004.02613].

In Lorentzian and order-theoretic settings, the analogue of Cauchy completion becomes one-sided. Directed completion of partial orders is proposed as the natural replacement for metric Cauchy completion in causal or hyperbolic geometry. A directed completion \(\iota:X\to\bar X\) is universal for maps preserving directed suprema, the Monotone Convergence Property, and \(\bar X\) is a dcpo. The completion is explicitly realized inside the poset of lower directed-sup-closed subsets, with
\[
\iota(x)=\downarrow x,
\qquad
\bar T(\bar x)=\sup_{\iota(x)\le \bar x}T(x).
\]
This proposal is motivated by causal ideal points, Beppo Levi’s monotone convergence theorem, and the fact that a two-sided completion is unsuitable for the intended Lorentzian applications [2503.10467].

Taken together, these developments show that Cauchy completion is not a single construction but a stable pattern: identify the appropriate Cauchy objects, determine the representability or convergence criterion they ought to satisfy, and then form the universal enlargement in which those objects become actual points, morphisms, or weighted colimits. Classical completion by Cauchy sequences is the archetype, but the modern theory reaches equally naturally into enriched categories, locales, logical doctrines, causal spaces, quasi-uniformity, partial metrics, normed categories, and order-theoretic models of asymmetry.

Source: https://www.emergentmind.com/topics/cauchy-completion