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