分类:高阶范畴论

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

分类“高阶范畴论”中的页面

以下5个页面属于本分类,共5个页面。