满函子

full functor