可遗函子

forgetful functor