{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:20:23Z","timestamp":1740122423927,"version":"3.37.3"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T00:00:00Z","timestamp":1722297600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T00:00:00Z","timestamp":1722297600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100019316","name":"Simonsen Foundation","doi-asserted-by":"publisher","award":["586136"],"award-info":[{"award-number":["586136"]}],"id":[{"id":"10.13039\/100019316","id-type":"DOI","asserted-by":"publisher"}]},{"name":"St Mary\u2019s College of California"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2024,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper studies presentations of the Sierpinski gasket as a final coalgebra for a functor on three categories of metric spaces with additional designated points. The three categories which we study differ on their morphisms: one uses short (non-expanding) maps, the second uses continuous maps, and the third uses Lipschitz maps. The functor in all cases is very similar to what we find in the standard presentation of the gasket as an attractor. It was previously known that the Sierpinski gasket is bilipschitz equivalent (though not isomorhpic) to the final coalgebra of this functor in the category with short maps, and that final coalgebra is obtained by taking the completion of the initial algebra. In this paper, we prove that the Sierpiniski gasket itself is the final coalgebra in the category with continuous maps, though it does not occur as the completion of the initial algebra. In the Lipschitz setting, we show that the final coalgebra for this functor does not exist.\n<\/jats:p>","DOI":"10.1007\/s10485-024-09773-0","type":"journal-article","created":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T10:02:15Z","timestamp":1722333735000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Presenting the Sierpinski Gasket in Various Categories of Metric Spaces"],"prefix":"10.1007","volume":"32","author":[{"given":"Jayampathy","family":"Ratnayake","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annanthakrishna","family":"Manokaran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romaine","family":"Jayewardene","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victoria","family":"Noquez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,30]]},"reference":[{"issue":"4","key":"9773_CR1","first-page":"589","volume":"15","author":"Ji\u0159\u00ed Ad\u00e1mek","year":"1974","unstructured":"Ad\u00e1mek, Ji.\u0159\u00ed: Free algebras and automata realizations in the language of categories. Comment. Math. Univ. Carol. 15(4), 589\u2013602 (1974)","journal-title":"Comment. Math. Univ. Carol."},{"key":"9773_CR2","volume-title":"Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors","author":"J Ad\u00e1mek","year":"2024","unstructured":"Ad\u00e1mek, J., Milius, S., Moss, L.S.: Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors. Cambridge University Press, Cambridge (2024)"},{"key":"9773_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-06880-0_7","volume-title":"Horizon of the Mind, Essays Dedicated to Prakash Panangaden on the Occasion of his 60 Birthday","author":"P Bhattacharya","year":"2014","unstructured":"Bhattacharya, P., Moss, L.S., Ratnayake, J.K., Rose, R.: Fractal sets as final coalgebra obtained by completing an initial algebra. In: Van Breugel, F., Kashefi, E., Palamidessi, C., Rutten, J. (eds.) Horizon of the Mind, Essays Dedicated to Prakash Panangaden on the Occasion of his 60 Birthday, pp. 146\u2013167. Springer, Berlin (2014)"},{"unstructured":"Freyd, P.: Real Coalgebra. Post on the Categories mailing list, December 22, 1999. available at https:\/\/www.mta.ca\/~cat-dist\/ (1999)","key":"9773_CR4"},{"key":"9773_CR5","first-page":"215","volume":"20","author":"P Freyd","year":"2008","unstructured":"Freyd, P.: Algebraic real analysis. Theory Appl. Categ. 20, 215\u2013306 (2008)","journal-title":"Theory Appl. Categ."},{"doi-asserted-by":"crossref","unstructured":"Hasuo, I., Jacobs, B., Niqui, M.: Coalgebraic representation theory of fractals. In: Proceedings of the Mathematical Foundations of Programming Semantics (MFPS XXVI), vol. 265, pp. 351\u2013368. Elsevier (2010)","key":"9773_CR6","DOI":"10.1016\/j.entcs.2010.08.021"},{"issue":"3","key":"9773_CR7","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1090\/S0002-9947-1903-1500647-9","volume":"4","author":"Edward V Huntington","year":"1903","unstructured":"Huntington, Edward V.: Complete sets of postulates for the theory of real quantities. Trans. Am. Math. Soc. 4(3), 358\u2013370 (1903)","journal-title":"Trans. Am. Math. Soc."},{"issue":"5","key":"9773_CR8","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1512\/iumj.1981.30.30055","volume":"30","author":"JE Hutchinson","year":"1981","unstructured":"Hutchinson, J.E.: Fractals and self similarity. Ind. Univ. Math. J. 30(5), 713\u2013747 (1981)","journal-title":"Ind. Univ. Math. J."},{"issue":"4","key":"9773_CR9","doi-asserted-by":"publisher","first-page":"2935","DOI":"10.1016\/j.aim.2010.10.009","volume":"226","author":"Tom Leinster","year":"2011","unstructured":"Leinster, Tom: A general theory of self-similarity. Adv. Math. 226(4), 2935\u20133017 (2011)","journal-title":"Adv. Math."},{"doi-asserted-by":"crossref","unstructured":"Noquez, V., Moss, L.S.: The Sierpinski carpet as a final coalgebra. In: Proceedings of the Fourth International Conference on Applied Category Theory, volume 372 of Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 249\u2013261. EPTCS (2022)","key":"9773_CR10","DOI":"10.4204\/EPTCS.372.18"},{"unstructured":"Ratnayake, J.: Final Co-algebra of Endofunctors That Glue Metric Spaces Along Points. unpublished ms. (2024)","key":"9773_CR11"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-024-09773-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-024-09773-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-024-09773-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T08:26:29Z","timestamp":1723191989000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-024-09773-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,30]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["9773"],"URL":"https:\/\/doi.org\/10.1007\/s10485-024-09773-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2024,7,30]]},"assertion":[{"value":"1 April 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"21"}}