Think types a and α's of type
type Algebra f a = f a -> a
The following examples assume that C contains all the relevant ingredients (e.g. products).
Wikipedia: F-algbera
Endofunctor