omega-continuous functors have terminal coalgebrasLast updated Oct 7, 2024Tags: coalgebra, terminal coalgebra.
