Note on the finality

The finality is a functorial property that induces a sort of surjectivety in the diagram of hom-set of codomain.

As the exercises from Mac Lane imply, the property may be interpreted that the colimit of a given functor is sufficiently represented by a following final functor.