3 papers
math.CT2025
The Sierpinski Carpet as a Final Coalgebra
Victoria Noquez, Lawrence S. Moss
We advance the program of connections between final coalgebras as sources of circularity in mathematics and fractal sets of real numbers. In particular, we are interested in the Si…
cs.LO2025
Terminal Coalgebras in Countably Many Steps
JiÅà Adámek, Jiří Adámek, Stefan Milius +1
We present a collection of results that imply that an endofunctor on a category has a terminal coalgebra obtainable as a countable limit of its terminal-coalgebra chain. This holds…
cs.LO2025
Fractals from Regular Behaviours
Todd Schmid, Victoria Noquez, Lawrence S. Moss
We forge connections between the theory of fractal sets obtained as attractors of iterated function systems and process calculi. To this end, we reinterpret Milner's expressions fo…