The mapping is a Covariant Functor
for Cateogry of Small Categories