Start-Refresh.
Def: F-alg, Cat of F-alg F-Alg. Example: list as initial object of list_F-Alg.