The mapping is a Covariant Functor for Cateogry of Small Categories