分類:高階範疇論

高階範疇論是範疇論的一支。「高階」可粗略地理解為：以箭頭代替等式，以明確地研究等式背後的結構。