函子是范畴论中的个概念，它把一个范畴中的对象映成另一个范畴的对象，把一个范畴中的态射映成另一个范畴中的态射，形象理解为范畴之间的“映射”。函子必须实现map函数，其在遍历对象值的时候返回一个新对象。