高阶范畴 数学中高阶范畴是范畴论在高阶下的情形一些等式可写成箭头以便能明确地研究等式背后的结构高阶范畴论常应用于代数拓扑学特别是同伦论用于研究拓扑空间的代数不变量如其基本弱准范畴