函子（functor）是範疇論中的一個概念，它是一種特殊的映射，用於描述兩個範疇之間的結構保持的關係。在範疇論中，函子被視為範疇間的同態，即它不僅將對象映射到對象，還將態射映射到態射，並保持一定的結構性質。
在程式語言和軟體工程中，函子的概念被用來描述一種特殊的數據類型，這種數據類型被稱為Functor。Functor是一個包含值（value）和map方法的對象，map方法可以運行一個函式對值進行處理，實現值的變形關係。這種數據類型可以用於約束傳輸的數據結構，映射適配函式的輸出值與下一個函式輸入值，從而在一定程度上避免函式執行的副作用。
總結來說，函子在範疇論中是一種保持結構性質的映射，而在程式語言中則是一種特殊的數據類型，它通過map方法定義了值的變形關係。