Neblux 知識圖譜
範疇論
範疇論是數學的分支，透過對象與態射（而非特定的數或函數）研究數學結構及其相互關係，常被稱為「數學的數學」。
概觀
函子在保持結構的同時映射整個範疇；自然變換在函子之間映射；而伴隨對關係編碼表面上不相關領域之間的深層等價性。這些構造提供了一種描述普遍性質的語言——在任何數學情境中同時定義「積」、「極限」或「餘極限」的含義。
為什麼重要
範疇論透過統一不同領域、揭示隱藏的結構連結，從根本上塑造了現代數學。在電腦科學中，它為函數式程式設計提供了理論基礎：單子（monad）、依賴型別與並發計算的語義，均借助範疇結構，直接影響了Haskell及Coq等証明助理的語言設計。