函子

在范畴论中，函子（functor）是范畴间的一类映射，通俗地说，是范畴间的同态。