Define terminal coalgebra as a limit