Sierpinski Gasket as a Final Coalgebra Obtained by Cauchy Completing the Initial Algebra

Annanthakrishna Manokaran; Jayampathy Ratnayake; Romaine Jayewardene

arxiv: 1907.09933 · v1 · pith:CGEUK5ZDnew · submitted 2019-07-19 · 🧮 math.CT

Sierpinski Gasket as a Final Coalgebra Obtained by Cauchy Completing the Initial Algebra

Jayampathy Ratnayake , Annanthakrishna Manokaran , Romaine Jayewardene This is my paper

Pith reviewed 2026-05-24 18:39 UTC · model grok-4.3

classification 🧮 math.CT

keywords Sierpinski gasketfinal coalgebrainitial algebraCauchy completiontri-pointed metric spacescontinuous mapscategory of metric spaces

0 comments

The pith

The Sierpinski gasket is the final coalgebra obtained by Cauchy-completing the initial algebra for an endofunctor on tri-pointed one-bounded metric spaces with continuous maps.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the Sierpinski gasket arises as the final coalgebra when the category uses all continuous maps rather than only short or Lipschitz ones. It proves this by verifying that the Cauchy completion of the initial algebra satisfies the universal property for coalgebras whose structure maps are continuous. The construction yields an explicit mediating morphism to the gasket and shows that continuity of the structure map implies continuity of the mediator. This description generalizes earlier results limited to short maps and unifies several classical views of the gasket. The paper also supplies an explicit counterexample demonstrating that the gasket is not final when morphisms are restricted to Lipschitz maps.

Core claim

The Sierpinski gasket S is the final coalgebra obtained by Cauchy completing the initial algebra for an endofunctor on the category of tri-pointed one-bounded metric spaces with continuous maps. This final-coalgebra property holds for all continuous coalgebra morphisms, and the mediating morphism from any such coalgebra is itself continuous whenever the coalgebra structure map is continuous.

What carries the argument

The endofunctor on tri-pointed one-bounded metric spaces whose initial algebra, after Cauchy completion, satisfies the final-coalgebra universal property with respect to continuous maps.

If this is right

If a coalgebra has a continuous structure map then its mediating morphism to S is continuous.
The same completion construction recovers and unifies classical geometric descriptions of the gasket.
Restricting morphisms to Lipschitz maps destroys the final-coalgebra property, as shown by an explicit counterexample.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same pattern of completing an initial algebra to obtain a final coalgebra may apply to other self-similar sets once an appropriate endofunctor is identified.
Continuity rather than the Lipschitz condition appears to be the natural choice of morphisms when coalgebras are valued in metric spaces.

Load-bearing premise

The chosen endofunctor admits an initial algebra whose Cauchy completion is final for every continuous coalgebra morphism.

What would settle it

A continuous coalgebra whose unique candidate mediating map to the completed initial algebra is discontinuous, or a continuous coalgebra that admits no continuous morphism to the gasket at all.

read the original abstract

This paper presents the Sierpinski Gasket ($\mathbb{S}$) as a final coalgebra obtained by Cauchy completing the initial algebra for an endofunctor on the category of tri-pointed one bounded metric spaces with continuous maps. It has been previously observed that $\mathbb{S}$ is bi-Lipschitz equivalent to the coalgebra obtained by completing the initial algebra, where the latter was observed to be final when morphisms are restricted to short maps. This raised the question "Is $\mathbb{S}$ the final coalgebra in the Lipschitz setting?". The results of this paper show that the natural setup is to consider all continuous functions. The description of the final coalgebra as the Cauchy completion of the initial algebra has been explicitly used to determine the mediating morphism from a given coalgebra to the the final coalgebra. This has been used to show that if the structure map of a coalgebra is continuous, then so is the mediating morphism. The description of $\mathbb{S}$ given here not only generalizes previous observations, but also unifies classical descriptions of $\mathbb{S}$. We also show, by means of an example, that $\mathbb{S}$ is not the final coalgebra if we consider only Lipschitz maps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper resolves the open question by proving the Sierpinski gasket is final for continuous maps via Cauchy completion but fails for Lipschitz maps.

read the letter

The main takeaway is that this work settles the prior open question by showing finality holds in the continuous-maps setting on tri-pointed 1-bounded metric spaces, with the gasket arising as the Cauchy completion of the initial algebra, while a counterexample rules it out for Lipschitz maps only. It supplies an explicit mediating morphism from the completion and proves that continuity of the coalgebra structure map carries over to the mediating map. This unifies some classical descriptions of the gasket and directly answers what class of maps is appropriate. The argument relies on standard initial-algebra and completion facts without circularity or invented steps. The counterexample is a useful negative result that justifies the category choice. Soft spots are minor and do not affect the central claim. The category is specialized, which narrows the audience, but the counterexample makes the restriction to continuous maps necessary rather than arbitrary. No load-bearing gaps appear in the existence, uniqueness, or continuity arguments as described. The result stays within the coalgebra-fractal intersection and does not claim broader impact. This paper is for readers already working on final coalgebras in metric or geometric categories. Someone following the short-maps result or looking for explicit mediating morphisms would get concrete value from the construction. It deserves a serious referee because it resolves a stated open question with both a positive theorem and a clear counterexample.

Referee Report

0 major / 3 minor

Summary. The manuscript claims that the Sierpinski gasket S is the final coalgebra for a specific endofunctor on the category of tri-pointed 1-bounded metric spaces with continuous maps, obtained explicitly as the Cauchy completion of the initial algebra. It proves existence and uniqueness of mediating morphisms, shows that continuity of a coalgebra structure map implies continuity of the mediating map, uses the construction to determine mediating morphisms explicitly, unifies classical descriptions of S, and supplies a counterexample demonstrating that S is not final when morphisms are restricted to Lipschitz maps (resolving a prior open question limited to short maps).

Significance. If the central claims hold, the work resolves the question of the appropriate morphism class for the final-coalgebra structure on the Sierpinski gasket by establishing the continuous-maps setting as natural, while ruling out the Lipschitz setting via counterexample. The explicit description of mediating morphisms and the continuity-preservation result supply a concrete tool for applications in fractal geometry and coalgebra theory. The unification of classical descriptions of S is a further positive contribution.

minor comments (3)

Abstract, paragraph 1: 'one bounded metric spaces' should read '1-bounded metric spaces' to match standard terminology used later in the manuscript.
The definition of the endofunctor (likely in §2 or §3) and the precise statement of the category (tri-pointed 1-bounded metric spaces with continuous maps) would benefit from being stated in a single early paragraph or displayed equation to improve readability for readers unfamiliar with the prior short-map result.
The counterexample showing failure for Lipschitz maps (mentioned in the abstract) should include a brief indication of the section or proposition number where it appears, to help readers locate the construction quickly.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No circularity; derivation is self-contained via explicit categorical constructions

full rationale

The paper defines an endofunctor on the category of tri-pointed 1-bounded metric spaces, constructs its initial algebra explicitly, takes the Cauchy completion, and proves directly that this completion carries a final coalgebra structure for continuous morphisms by exhibiting the unique mediating morphism and verifying its continuity when the coalgebra map is continuous. These steps rely on standard initial-algebra and completion theorems without reducing any claimed finality to a fitted parameter, a self-citation chain, or an ansatz imported from prior work by the same authors. The counter-example for Lipschitz maps is likewise constructed explicitly. The central result therefore stands on independent proof content rather than definitional equivalence to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the standard definitions of initial algebra, final coalgebra, and Cauchy completion in the chosen category. No free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (1)

domain assumption The category of tri-pointed one-bounded metric spaces equipped with continuous maps admits an endofunctor whose initial algebra can be completed to a final coalgebra.
This is the modeling choice that makes the final-coalgebra property hold for continuous maps.

pith-pipeline@v0.9.0 · 5757 in / 1367 out tokens · 23426 ms · 2026-05-24T18:39:59.364163+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Sierpinski Gasket (S) as a final coalgebra obtained by Cauchy completing the initial algebra for an endofunctor on the category of tri-pointed one bounded metric spaces with continuous maps
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

description of the final coalgebra as the Cauchy completion of the initial algebra

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.