《普遍代数论》
阿尔弗雷德·诺斯·怀特海的《普遍代数论》开创了将代数结构作为统一系统研究的先河，提出了普遍代数（universal algebra）——一个通过形式等价（formal equivalence）由符号逻辑系统（symbolic logic systems）统辖的框架，用来比较不同的代数（例如布尔代数、格拉斯曼外代数）。他引入了代数图式（algebraic schematism），将加法或格中的交/并等操作重新定义为脱离数值解释的抽象组合规则（abstract combinatory rules），并通过类型层级（type hierarchies）将结构（例如四元数到空间旋转）映射为同构等价（isomorphic equivalence）。核心概念包括通过怀特海的关系积（relational product）重新解释的格拉斯曼外代数（Grassmann’s calculus of extension）（结合向量和多向量）以及作为类包含（class-inclusion）逻辑的布尔代数（Boolean algebra）。文本批判了算术崇拜（arithmetic fetishism）——优先考虑基于数字的代数，并探索了代数之间的操作类比（operational analogy）（例如矩阵乘法与三段论逻辑）。尽管未完成（计划中的第二卷未写成）并在后来被范畴论所掩盖，这部作品激发了诺特的抽象代数，预示了布尔巴基的结构主义，并为计算类型论奠定了基础，确保其作为代数多样性和逻辑统一性的大胆早期综合的遗产。
