4.2.1 函子的定义