范畴论：数学中的一个分支，用来研究“对象（objects）”与“态射/映射（morphisms）”及其组合规律，从而以高度抽象、统一的方式描述不同数学结构之间的共同模式。常用于代数、拓扑、逻辑与计算机科学等领域。
/ˈkætəˌɡɔːri ˈθiːəri/
I’m studying category theory this semester.
我这学期在学范畴论。
Category theory provides a unifying language that connects algebra, topology, and computer science through concepts like functors and natural transformations.
范畴论提供了一种统一的语言，通过函子与自然变换等概念，把代数、拓扑与计算机科学联系起来。
category 源自希腊语 kategoria（“陈述、分类”），经拉丁语进入英语，含“类别/范畴”之意；theory 源自希腊语 theōria（“观察、思考、理论”）。合起来的 category theory 指“研究范畴（及其结构与映射）的理论”，中文通常译为“范畴论”。
Select Language