Terminal Coalgebra

Let $F:\mathcal{C}\to \mathcal{C}$ A terminal $F$-coalgebra is an terminal object in the categories of F-coalgebras.

An arrow into an terminal coalgebra is called a anamorphism.