函数介于类别将对象映射到对象,以及态射到态射.函数既有协变类型,也有逆变类型。
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“Functor”来自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Functor.html