[论文解读] What is Applied Category Theory?

Tai-Danae Bradley|arXiv (Cornell University)|Sep 16, 2018

History and advancements in chemistry被引用 15

一句话总结

本文提出应用范畴论（ACT）作为统一框架，用于建模和整合化学、神经科学及自然语言处理等不同科学领域中的知识。通过利用函子、余弦图（cospans）和对称单峰范畴等范畴论结构，ACT形式化了系统的组合结构，使不同学科间能通过共享的数学语言获得深刻洞见。

ABSTRACT

This is a collection of introductory, expository notes on applied category theory, inspired by the 2018 Applied Category Theory Workshop, and in these notes we take a leisurely stroll through two themes (functorial semantics and compositionality), two constructions (monoidal categories and decorated cospans) and two examples (chemical reaction networks and natural language processing) within the field.

研究动机与目标

• 阐明应用范畴论（ACT）这一新兴领域，并澄清其实际应用性的误解。
• 展示范畴论如何为跨学科复杂系统建模提供一种正式的、组合性的语言。
• 通过化学和自然语言处理中的具体研究项目，阐明ACT的实用性。
• 通过将抽象概念与现实世界应用相联系，促进非数学背景科学家对范畴论的可及性。
• 倡导范畴论作为知识整合与跨学科交流的工具。

提出的方法

• 使用函子将语言和化学结构映射到向量空间（例如，自然语言意义的DisCoCat模型）。
• 采用余弦图和超图范畴来建模开放的、相互关联的系统，如化学反应网络。
• 应用对称单峰范畴来形式化电气电路和神经网络等系统中的组合性。
• 利用《Compositionality中的七个草图》（Seven Sketches in Compositionality）框架，以最少的范畴论先决知识教授和应用ACT概念。
• 整合实际案例，如ATP耦合和句子向量构建，以展示实际建模能力。
• 借助在线资源、视频讲座和协作工作坊，向更广泛的科学群体传播ACT。

实验结果

研究问题

• RQ1 范畴论如何作为不同科学领域之间的统一语言？
• RQ2 哪些范畴结构最适于建模化学和自然语言中的组合系统？
• RQ3 函子语义在自然语言处理中如何实现意义的正式建模？
• RQ4 如何使用余弦图和超图范畴来建模开放系统（如化学反应网络）？
• RQ5 范畴论在形式化跨学科知识转移方面发挥什么作用？

主要发现

• DisCoCat模型成功地将自然语言的句法和语义结构映射到张量空间，从而实现句子意义的实证计算。
• 化学反应网络可通过范畴论建模，通过涌现的守恒定律描述ATP耦合。
• 余弦图和超图范畴为建模相互关联的系统（如电气电路和生物化学通路）提供了形式化方法。
• 神经网络中的反向传播可被理解为函子，揭示其与范畴组合之间的深层结构相似性。
• 对称单峰范畴框架使得跨学科系统（从量子过程到语言语义）的正式组合成为可能。
• 工作坊和在线课程（如Azimuth、Seven Sketches）已成功降低无范畴论背景的科学家进入门槛。