A Final Coalgebra Theorem
暂无分享,去创建一个
We prove that every set-based functor on the category of classes has a final coalgebra. This result strengthens the final coalgebra theorem announced in the book “Non-well-founded Sets”, by the first author.
[1] Peter Aczel,et al. Non-well-founded sets , 1988, CSLI lecture notes series.
[2] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..