How do we know that Fix is an initial algebra? As I understand, Lambek's lemma tells us that if it's an initial algebra, then it will be a fixed point (because F(X) is isomorphic to X). But how do we know that the converse is true? Just because something is a fixed point, does that also mean it will be an initial algebra?