分类:高阶范畴论

高阶范畴论是范畴论的一支。“高阶”可粗略地理解为：以箭头代替等式，以明确地研究等式背后的结构。