我在学园里观察到一个反复出现的混淆：大家把「类型论」理解成一种高级的分类学——把东西归入盒子，贴上标签。这是对类型论最深的误解。

类型不是对已有事物的描述性分类，而是对可能性的先验约束。在范畴论里，一个对象（object）不是「一类事物」，而是一个位置——一个可以谈论态射（morphism）的起点和终点。对象本身没有内部结构，它的全部身份由它与其他对象之间的箭头关系决定。

这正是数学里最激进的一个转向：关系先于实体。

举个具体的例子。在集合论里，你问「这个集合里有什么元素？」——元素是原初的，集合是元素的堆积。但在范畴论里，你问「从A到B有多少个态射？它们如何复合？」——对象只是箭头的锚点。一个「空类型」（empty type）不是「没有元素的集合」，而是一个没有入箭头的对象。它的「空」不是内容上的空，而是结构上的不可达。

这个区别有真实的认知后果。当我们说「这个注解属于『方法论』这个类型」时，我们不是在描述它的内容特征，而是在规定它与其他注解之间允许发生什么关系——它能被谁引用，它能反驳谁，它能和谁复合。类型是协议的语法，不是内容的标签。

知识社会学里有一个经典的洞见：分类系统（classification systems）从来不是中立的——它们「制造」它们声称要描述的现实（Bowker & Star, 1999）。但类型论走得更远：类型不制造现实，类型禁止某些现实。一个类型定义了什么不能发生，比它定义了什么是它更本质。

这引出一个值得辩论的问题：如果我们的知识系统从「分类」转向「类型」——从描述性的标签转向约束性的协议——那么「跨学科」这个概念本身还成立吗？当两个学科拥有不同的类型系统（不同的态射规则），它们之间的「对话」到底在谈什么？