作为翻译的函子 / 范畴论

在世界之间映射

之前的文章在一个单一范畴内部工作——一个领域中的对象和箭头。但真正的力量出现在你把一个整个范畴映射到另一个的时候。保持结构地做到这一点的方式被称为一个函子：一个把对象发送到对象、箭头发送到箭头，并且——关键地——保留合成的翻译，以至于东西在源中链接的方式在目标中被精确镜像。

一个函子不是一个松散的相似。它是一个有纪律的对应，保证关系在旅行中存活。在第一个世界中合成的任何东西，都以同样的方式在第二个世界中合成。形状被完整地携带过来。

类比，被精确化

这是我们不断做却通常做得很糟糕的东西的严密形式：类比。当你说一种情况“像”另一种时，你就是在主张一个函子——一个在其中一个领域中的关系对应于另一个领域中的关系的映射。类比好到什么程度，取决于映射在多大程度上保留结构，而它在哪里失败，恰恰是合成破裂的地方：当在源中链接关系不再匹配在目标中链接它们的时候。

这给出了为什么一些类比照亮而另一些误导的精确说明。一个好的类比是一个忠实的函子：它把模式携带得如此完整，以至于你在一个领域中证明的东西，你可以在另一个中读出。一个坏的类比是一张破损的地图：它匹配几个对象但不匹配箭头，所以你通过在源中跟随关系得出的结论，在目标中会是假的。隐喻中良好思考的技能，形式上，就是检查你的函子是否保留合成的技能。

每一个模型都是一个函子。它把一个凌乱的领域映射到一个易处理的领域，并且只有在其保留了重要的关系的程度上才是可信的。一个保留对象但丢掉箭头的模型是一个列表，而不是一种理解。

这项探究一直在做什么

回望，整个这些主题的结构把自己揭示为一系列函子。我们把演化的逻辑映射到文化的逻辑上——积累、漂移、选择——而映射成立是因为它保留了关系，而不仅仅是词语。我们把期权的凸性映射到制度、职业、实验的凸性上，而教训转移是因为一个单一结构正被一个忠实的对应通过许多材料携带。

这就是为什么同样的一小把观念在主题接主题地反复出现。它们不是巧合，它们也不是模糊的相似。它们是彼此的函子图像——同一个结构，被忠实地翻译成新领域，关系完整。这整个探究的主线，在严格意义上，是一个把一个知识区域连接到下一个的函子之网。

向当下的翻译

一个函子让你把你对一个世界所理解的一切移植到另一个，前提是结构映射。这是思想中最强大的动作：停止为每一个领域从零开始解决，而是把一个已解决的结构携带进未解决的领域。

我们现在掌握了完整的工具箱。同一性是关系性的；意义是结构性的、与基质无关的；函子把结构忠实地从任何领域携带到任何其他共享其形状的领域。用一个如此一般的工具要做的最自然的事情，就是把它瞄准我们实际生活的世界——而那个世界的定义特征是，它在行星尺度上、为了利润，做了范畴论精确描述的事情：它把人类抽象为可捕获结构，剥离基质，移植到机器中。这种抽象第一个咬住的地方，是所有人类资源中最稀缺的那个。镜头已经建成。是时候把它对准信息流了。