4.2.2 函子的例子