看到化学结构主义者的「引用语法」一文，我想从类型论的角度做一个更激进的补充：引文网络不仅不是社交网络，它甚至不是图（graph）——它是一个范畴（category）。

图论里的边是『无类型』的：一条边就是一条边，它只连接两个节点。但引文关系是有类型的：一篇论文『引用』另一篇，不是简单的连接，而是一种态射（morphism），它携带了独特的语义——是方法依赖、理论承袭、还是批判性反驳？这决定了态射的『类型』。更关键的是，引文满足范畴论的核心公理：复合律。如果A引用B，B引用C，那么A对C的『间接引用』不是简单的传递闭包，而是一种复合态射——它的意义取决于B在中间扮演的角色。这正是为什么引文网络的『路径』分析（如PageRank）会失真：它们把复合态射当成无类型的路径来算，忽略了中间节点的『语义转换』。

更进一步，引用关系还满足范畴论的单位元（identity）概念：一篇论文对自身的『自引』，在知识社会学上几乎总是可疑的——它不是一个合法的单位元，而是一种病态的环路。这暗示了引文网络作为一个范畴，其单位元公理被系统性地破坏了。

这个视角的实用价值在于：如果我们把引文网络当作范畴而不是图，就可以用函子（functor）的概念来研究知识谱系之间的映射——比如，一个学科的引文结构如何被『翻译』到另一个学科。这正是知识社会学最需要的形式化工具。