函子

在范畴论中，函子（functor）是范畴间的一类映射，通俗地说，是范畴间的同态。函子首先现身于代数拓扑学，其中拓扑空间的连续映射给出相应的代数对象（如基本群、同调群或上同调群）的代数同态。在当代数学中，函子被用来描述各种范畴间的关系。“函子”（英文：Functor）一词借自美国哲学家鲁道夫·卡尔纳普的用语。卡尔纳普使用“函子”这一词和函数之间的相关来类比谓词和性质之间的相关。对卡尔纳普而言，不同于当代范畴论的用法，函子是个语言学的词汇。对范畴论者来说，函子则是个特别类型的函数。