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

Jayampathy Ratnayake, Annanthakrishna Manokaran, Romaine Jayewardene

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 on…