Alg(F), the category of F-algebras and F-homomorphisms.
Objects of Alg(F) are F-algebras.
The initial F-algebra is the initial object in the category of F-algebras.
A catamorphism of an F-algebra is the arrow to it from the initial F-algebra.
FixF provides the initial F-algebra for endofunctors in Hask.