Recursive coalgebras of finitary functors
For finitary set functors preserving inverse images, recursive coalgebras of Paul Taylor are proved to be precisely those for which the system described by always halts in finitely many steps.
For finitary set functors preserving inverse images, recursive coalgebras of Paul Taylor are proved to be precisely those for which the system described by always halts in finitely many steps.
Page 1