 Let    (c, f)    and     (d, g)  be algebras for the same functor F on the category C. A morphism of algebras from  (c, f)  to    (d, g)      is a morphism  α : c → d   so that the diagram below commutes: 