这不是一个正式的定义,但暗示了"箭头"的概念是"功能"概念的概括.换句话说,函数是箭头的特例,但箭头也可以是其他东西.
"箭头"是与常规函数共享某些特征的东西,例如它们具有域类型和密码域类型,它们可以被组合,从任何类型到自身都有"身份箭头",依此类推.
但是,并非所有箭头都共享函数的所有功能.例如,函数总是可以应用于合适的参数,而箭头可能不是这种情况.
因此,在技术术语中,人们可以说"箭头"的概念是功能概念的抽象或概括.
(让我补充一点,我有点不同意你的引文中使用的"简单".这些抽象概念在学习它们之后可能是微不足道的,但学习过程并不那么简单.)