4.2 函子和它的基础实例