局部函子

local functor