完全函子

full functor