Cauchy Density in Categories & Probability

• Cauchy Density is a dual concept defining a condition on V-functors for categorical completion and a heavy-tailed probability density function.
• In enriched category theory, it ensures fully faithful embeddings via an isomorphic counit and facilitates Morita equivalence between small V-categories.
• In probability, its Newton-inspired derivation explains a unique heavy-tailed behavior with no finite mean or variance in the standard Cauchy distribution.

Searching arXiv for the cited papers and closely related context. arXiv search query: id:(Mateo, 10 Jul 2025) OR title:"Cauchy density" “Cauchy density” appears in the cited literature in two distinct senses. In $\mathscr V$-enriched category theory, it names a condition on a $\mathscr V$-functor, introduced by Lawvere in the same paper that defined the Cauchy completion of a $\mathscr V$-category; in that setting, the condition makes the functor analogous to a map of metric spaces whose image is topologically dense in its codomain (Mateo, 10 Jul 2025). In probability theory, it denotes the probability density function of the Cauchy distribution,

$$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$

with location parameter $x_0\in\mathbb R$ and scale $\gamma>0$ (Kirouani, 2024). The two usages are mathematically unrelated at the level of formal definition, but both are tied to classical notions of completion, boundary behavior, and density.

1. Terminological scope and basic forms

In the enriched-categorical sense, let $\mathscr V$ be a complete and cocomplete symmetric monoidal closed category. For small $\mathscr V$-categories $\mathscr A,\mathscr B$, a profunctor $\phi:\mathscr A\pto\mathscr B$ is a $\mathscr V$0-functor $\mathscr V$1, and every $\mathscr V$2-functor $\mathscr V$3 gives a pair of adjoint profunctors

$\mathscr V$4

with

$\mathscr V$5

and $\mathscr V$6. The functor $\mathscr V$7 is called Cauchy dense if the counit

$\mathscr V$8

is an isomorphism of profunctors (Mateo, 10 Jul 2025).

In the probabilistic sense, the Cauchy probability density function is

$\mathscr V$9

A special case is the standard Cauchy $\mathscr V$0, obtained when $\mathscr V$1 and $\mathscr V$2 (Kirouani, 2024).

Sense	Object	Defining form
Enriched category theory	$\mathscr V$3-functor $\mathscr V$4	$\mathscr V$5 is an isomorphism
Probability theory	Density on $\mathscr V$6	$\mathscr V$7

A plausible implication is that the shared terminology reflects a common historical association with completion and limiting behavior, even though the formal frameworks are different.

2. Cauchy density in $\mathscr V$8-enriched category theory

The bicategory $\mathscr V$9 has objects small $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$0-categories, $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$1-cells profunctors, and $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$2-cells $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$3-natural transformations. Composition is by coend,

$$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$4

and the identity on $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$5 is the hom-profunctor $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$6. For a $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$7-functor $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$8, the counit of the adjunction $$f(x;x_0,\gamma)=\frac{1}{\pi\,\gamma\,[1+((x-x_0)/\gamma)^2]},$$9 has components

$x_0\in\mathbb R$0

Cauchy density is exactly the requirement that these components be isomorphisms in $x_0\in\mathbb R$1 for every pair $x_0\in\mathbb R$2 (Mateo, 10 Jul 2025).

Several equivalent characterizations are available. For $x_0\in\mathbb R$3 between small $x_0\in\mathbb R$4-categories, the following are equivalent: $x_0\in\mathbb R$5 is a lax epimorphism in $x_0\in\mathbb R$6; for each small $x_0\in\mathbb R$7, the restriction $x_0\in\mathbb R$8 is fully faithful; $x_0\in\mathbb R$9 for each $\gamma>0$0; $\gamma>0$1 is Cauchy dense; $\gamma>0$2 is absolutely dense; and $\gamma>0$3 is absolutely codense (Mateo, 10 Jul 2025).

The theory emphasizes that Cauchy density is strictly stronger than “(ordinary) density” $\gamma>0$4, but is self-dual and closed under composition. Dually, $\gamma>0$5 is Cauchy dense if and only if $\gamma>0$6 is. When $\gamma>0$7 in the sense of Lawvere metric spaces, one recovers topological density: a short map $\gamma>0$8 of classical metric spaces is Cauchy dense if and only if its image $\gamma>0$9 is topologically dense in $\mathscr V$0 (Mateo, 10 Jul 2025).

3. Universal property of Cauchy completion

The Cauchy completion $\mathscr V$1 consists of those presheaves which are “absolute weights” or equivalently “small-projective.” Within this framework, the Yoneda embedding $\mathscr V$2 exhibits $\mathscr V$3 as the largest $\mathscr V$4-category into which $\mathscr V$5 admits a fully faithful Cauchy dense functor (Mateo, 10 Jul 2025).

Concretely, whenever $\mathscr V$6 is fully faithful and Cauchy dense, there is an essentially unique fully faithful

$\mathscr V$7

making

$\mathscr V$8

commute up to isomorphism. Moreover, any full subcategory of $\mathscr V$9 containing the representables remains Cauchy complete, and the inclusion $\mathscr V$0 is Cauchy dense (Mateo, 10 Jul 2025).

A related lemma isolates a sufficient hypothesis for representable-on-the-left profunctors to lie in the completion: if $\mathscr V$1 is split-full and Cauchy dense, then each $\mathscr V$2 lies in $\mathscr V$3. The result gives a direct route from Cauchy density to the small-projective structure that defines Cauchy completion.

4. Morita-type equivalence and special cases

The paper establishes a Morita-type criterion for fully faithful Cauchy dense functors. If $\mathscr V$4 is a functor between small $\mathscr V$5-categories, then

$\mathscr V$6

The forward direction factors through the Yoneda embeddings and the induced functor $\mathscr V$7; the reverse direction takes $\mathscr V$8, which is Cauchy complete, and deduces both full faithfulness and Cauchy density by examining the induced adjunction between presheaf categories and restricting to the small-projective subcategories (Mateo, 10 Jul 2025).

This perspective supports a Morita-equivalence statement: two small $\mathscr V$9-categories $\mathscr A,\mathscr B$0 and $\mathscr A,\mathscr B$1 are Morita equivalent, $\mathscr A,\mathscr B$2, if and only if they can be connected by a zig-zag of fully faithful Cauchy dense functors (Mateo, 10 Jul 2025). A plausible implication is that Cauchy density functions as the exact enriched analogue of “passing to the same Cauchy completion.”

The examples and special cases are explicit. If $\mathscr A,\mathscr B$3 is a preorder, then $\mathscr A,\mathscr B$4 is Cauchy dense if and only if the single-object counits $\mathscr A,\mathscr B$5 are isomorphisms for all $\mathscr A,\mathscr B$6; in that case only the image of $\mathscr A,\mathscr B$7 on objects matters. A $\mathscr A,\mathscr B$8-functor $\mathscr A,\mathscr B$9 of preorders is Cauchy dense if and only if $\phi:\mathscr A\pto\mathscr B$0 is essentially surjective. Viewed as ordinary categories, Cauchy density requires each interval $\phi:\mathscr A\pto\mathscr B$1 be connected whenever $\phi:\mathscr A\pto\mathscr B$2. For monoid homomorphisms $\phi:\mathscr A\pto\mathscr B$3, Cauchy density is characterized by bijectivity of the canonical map

$\phi:\mathscr A\pto\mathscr B$4

where $\phi:\mathscr A\pto\mathscr B$5 is generated by $\phi:\mathscr A\pto\mathscr B$6; if $\phi:\mathscr A\pto\mathscr B$7 is a group, this is equivalent to surjectivity of $\phi:\mathscr A\pto\mathscr B$8. A functor between discrete categories is Cauchy dense if and only if it is bijective on objects, and a functor whose domain is a groupoid is Cauchy dense exactly when it is equivalent in $\phi:\mathscr A\pto\mathscr B$9 to a disjoint union of surjective group homomorphisms. For ordinary Cauchy dense functors, one also has a bijection on connected components, $\mathscr V$00 (Mateo, 10 Jul 2025).

5. The Cauchy probability density and a Newton-inspired derivation

For real $\mathscr V$01, location parameter $\mathscr V$02, and scale $\mathscr V$03, the Cauchy probability density function is

$\mathscr V$04

The cited work derives this density from a one-dimensional process inspired by the geometrical interpretation of Newton’s method (Kirouani, 2024).

The construction begins with a quadratic

$\mathscr V$05

so that its vertex abscissa is $\mathscr V$06 and $\mathscr V$07. Newton’s tangent-intersection step produces the map

$\mathscr V$08

Iterating this map $\mathscr V$09 times with arbitrary $\mathscr V$10 yields a sample $\mathscr V$11 whose empirical histogram, for large $\mathscr V$12, converges to a smooth limit density (Kirouani, 2024).

The derivation proceeds by change of variables and a functional equation. Denoting by $\mathscr V$13 the limiting density of $\mathscr V$14, and using the two monotonic branches of $\mathscr V$15, one has

$\mathscr V$16

where $\mathscr V$17 are the two inverse-images of $\mathscr V$18 under $\mathscr V$19. In density form,

$\mathscr V$20

The only continuous, symmetric, heavy-tailed solution of that form is

$\mathscr V$21

Normalizing $\mathscr V$22 gives the constant $\mathscr V$23, and since $\mathscr V$24 cancels under rescaling $\mathscr V$25, one obtains the canonical Cauchy form with $\mathscr V$26 (Kirouani, 2024).

The geometric parameters of the quadratic transfer directly to the distribution. Median and mode coincide at $\mathscr V$27, the parabola’s vertex abscissa, and the scale is $\mathscr V$28. In the simplest case $\mathscr V$29, one has $\mathscr V$30, $\mathscr V$31, hence the standard Cauchy $\mathscr V$32. The same source states that the Cauchy density has no finite mean or variance, heavy tails $\mathscr V$33, and fails the law of large numbers (Kirouani, 2024).

6. Transformations, randomized families, and information geometry

The Newton-inspired iteration also yields an explicit transformed distribution for distances between successive intersections. Defining

$\mathscr V$34

one obtains

$\mathscr V$35

The transformation-of-variables formula gives

$\mathscr V$36

where $\mathscr V$37 are the four real solutions of $\mathscr V$38 in the monotonic intervals around $\mathscr V$39. Carrying out the algebra yields, for $\mathscr V$40,

$\mathscr V$41

with

$\mathscr V$42

The same paper gives an algorithm for generating uniform randoms via the Cauchy process: initialize $\mathscr V$43 from a seed $\mathscr V$44; iterate $\mathscr V$45; and convert back via $\mathscr V$46. It follows from $\mathscr V$47 that $\mathscr V$48. With sample size $\mathscr V$49 and significance $\mathscr V$50, the reported goodness-of-fit values are Kolmogorov–Smirnov $\mathscr V$51, Anderson–Darling $\mathscr V$52, Watson $\mathscr V$53, and Cramér–von Mises $\mathscr V$54; since all p-values $\mathscr V$55, the null $\mathscr V$56 is accepted (Kirouani, 2024).

A distinct construction studies the Cauchy density in the Dirichlet problem for Laplace’s equation. On the half-plane,

$\mathscr V$57

the Poisson-kernel solution is

$\mathscr V$58

If $\mathscr V$59 is a probability density on $\mathscr V$60, one may interpret

$\mathscr V$61

as a two-parameter family of randomized probability densities. Writing

$\mathscr V$62

the paper records derivative identities for $\mathscr V$63, including harmonicity $\mathscr V$64, first- and second-order formulas, and third-order identities. These identities make possible explicit evaluation of the Fisher information matrix and the structure tensor (Yaremko et al., 2017).

For the randomized Cauchy family, with $\mathscr V$65, the Fisher information matrix

$\mathscr V$66

has the closed form

$\mathscr V$67

In particular the metric is manifestly positive definite for all $\mathscr V$68, with

$\mathscr V$69

The same source gives formulas for the third-order structure tensor $\mathscr V$70 and states that positive-definiteness of $\mathscr V$71 yields a family of inequalities on $\mathscr V$72, satisfied by every nonnegative solution of the Dirichlet problem for Laplace’s equation (Yaremko et al., 2017).

7. Conceptual landscape

In enriched category theory, Cauchy density organizes the passage from a small $\mathscr V$73-category to its Cauchy completion, identifies the largest target admitting a fully faithful Cauchy dense embedding, and characterizes Morita equivalence by zig-zags of such functors (Mateo, 10 Jul 2025). The notion is self-dual, stronger than ordinary density, and stable under composition. Its special cases recover topological density in metric enrichment and essentially surjective or surjective behavior in preorders, groups, and discrete settings.

In probability and analysis, the Cauchy density is the canonical heavy-tailed density

$\mathscr V$74

arising in the cited works from a Newton-tangent-intersection process and from Poisson-kernel randomization of harmonic functions (Kirouani, 2024). In that literature it is associated with explicit transformation formulas, a uniform-generation procedure via the $\mathscr V$75 mapping, and a statistical-manifold structure whose Fisher information matrix can be written in closed form (Yaremko et al., 2017).

This suggests that “Cauchy density” is best understood not as a single technical object but as a family of mathematically precise notions whose common vocabulary derives from Cauchy completion, Cauchy-type kernels, and limiting constructions.