範疇論

數學的一個分支，它將相同型別的數學物件（例如二元關係、群、集合、拓撲空間等）之間變換集合的許多代數性質形式化，並受限於集合包含恆等對映且關於對映的組合是封閉的。在範疇論中研究的物件稱為範疇。