cofree

adjective3

1. •
   Belonging to the image of some cofree functor.
2. •
   The dual of a free structure.
3. •
   Right adjoint to a forgetful functor G; such that any map f:G(A)→X induces a universal map ̄f:A→F(X).