范畴论是数学区下的顶级系列，不放在离散数学下面。未来它会连接代数、拓扑、逻辑和计算机科学中的不同结构。

章节地图