for C being Category holds id the carrier' of C is Functor of C,C