Full functor


full functor is a functor.