 We now turn to coalgebras. Again, let F be an endofunctor on a category C. A coalgebra for F is a pair (c, f), where  c is an object of C, and  f : c → Fc.   Comparing this to the definition of an algebra, we can see that a coalgebra is the same kind of structure, except that the  direction of the arrow is reversed. 