collaborators

1 paper

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…