Adámek J, Levy P, Milius S, Moss L, Sousa L (2015)
Publication Type: Journal article
Publication year: 2015
Publisher: Springer Verlag (Germany)
Book Volume: 23
Pages Range: 609-641
Journal Issue: 4
URI: http://www.stefan-milius.eu
DOI: 10.1007/s10485-014-9372-9
The final coalgebra for the finite power-set functor was described by Worrell who also proved that the final chain converges in ω+ω steps. We describe the step ω as the set of saturated trees, a concept equivalent to the modally saturated trees introduced by K. Fine in the 1970s in his study of modal logic. And for the bounded power-set functors P
APA:
Adámek, J., Levy, P., Milius, S., Moss, L., & Sousa, L. (2015). On Final Coalgebras of Power-Set Functors and Saturated Trees. Applied Categorical Structures, 23(4), 609-641. https://doi.org/10.1007/s10485-014-9372-9
MLA:
Adámek, Jiří, et al. "On Final Coalgebras of Power-Set Functors and Saturated Trees." Applied Categorical Structures 23.4 (2015): 609-641.
BibTeX: Download