文章浏览阅读3.6k次。函子与范畴函子（functor）是从一个范畴到另一个范畴的转换，并且其亦可转换/保持态射（morphism）。 一个态射是从一个范畴里的一个值到同一个范畴里的另一个值的变换。在猫的范畴的例子里，一个态射好比一个盒子，能够把黯淡无光的猫转化为一个霓虹闪耀的猫。在类型的范畴里（计算机科学常用的范畴），一个态射是一个把某类型转化为另一个类型的函数。 函子是可以把猫转化为狗的东西（不同范畴的转换）。函子_map 方法 是functor 吗