omega-continuous functors have terminal coalgebras

Tags: coalgebra, terminal coalgebra.