地图函数与地图数学概念的关系
Relation between map function and mathematical concept of map
我开始阅读 "conceptual mathematics: an introduction in Category Theory"。在那里，映射被定义为具有域和辅域，恰好有一个箭头离开域的给定元素并将其映射到辅域中的元素。
然而，我在 Haskell 中的并行努力显示了映射函数（没有过滤）将域中的所有内容映射到 codomain 中的所有内容。
这让我声明 map 函数本身并不能生成数学意义上的正确地图。我这样说对吗？
尽管名称相似，但map并不是functions/maps的概念。也就是说，并非所有函数都是 map 的一些特例。它们只是碰巧共享一个名称的不同事物。经常发生。
但是，map 是特定的 function/map（域 a -> b，密码域 [a] -> [b]），并且 map f 对于任何 f 是a function/map（域 [a]，密码域 [b]）。
我开始阅读 "conceptual mathematics: an introduction in Category Theory"。在那里，映射被定义为具有域和辅域，恰好有一个箭头离开域的给定元素并将其映射到辅域中的元素。
然而，我在 Haskell 中的并行努力显示了映射函数（没有过滤）将域中的所有内容映射到 codomain 中的所有内容。
这让我声明 map 函数本身并不能生成数学意义上的正确地图。我这样说对吗？
尽管名称相似，但map并不是functions/maps的概念。也就是说，并非所有函数都是 map 的一些特例。它们只是碰巧共享一个名称的不同事物。经常发生。
但是，map 是特定的 function/map（域 a -> b，密码域 [a] -> [b]），并且 map f 对于任何 f 是a function/map（域 [a]，密码域 [b]）。