相容函子

compatible functor