跳到主要内容

范畴论是现代数学的重要分支。

Category theory is an important branch of modern mathematics.