Presenting the Sierpinski Gasket in Various Categories of Metric Spaces

This paper studies presentations of the Sierpinski gasket as a final coalgebra for functors on several categories of metric spaces with additional designated points. The three categories which we study differ on their morphisms: one uses short (nonexpanding) maps, a second uses Lipschitz maps, and a third uses continuous maps. The functor in all cases is very similar to what we find in the standard presentation of the gasket as an attractor. We prove that the Sierpinski gasket itself is the final coalgebra of a naturally-occurring functor in the continuous setting. In the short setting, the final coalgebra exists but it is better described as the completion of the initial algebra, and this is not isomorphic to the Sierpinski gasket. In the Lipschitz setting, the final coalgebra does not exist. We determine the initial algebras in all three settings as well.