准范畴 在数学的分支范畴论中准范畴或称弱Kan复合体内Kan复合体无限范畴范畴博德曼复合体是对范畴概念的一个概括对这种概括的研究即高阶范畴 准范畴是由Boardman  Vogt 提出的André Joyal大大推动了对准范畴的研究指出大多数通常的基本范畴论及一些高级概念和定理在准范畴中都有类似物Jacob Lurie 对准范畴理论进行了详细论述 准范畴是特定的单纯集合与普通范畴相似它们包含对象单纯集合的單體及对象间的态射單體与范畴不同的是两个态射的複合不需要唯一定义所有可作为两个给定态射複合的态射都是通过高阶可逆态射單體可被想像為一種同伦相互关联的高阶态射也可以组合但只在更高阶的態射下才有明确的定义 高阶范畴论的想法至少当高阶态射可逆时是与范畴的标准定义不同两个对象间应有一个映射空间而非映射集这表明高阶范畴应该只是拓扑增广范畴然而准范畴的模型要比拓扑增广范畴的模型更适合应用尽管雅各卢里已经证明两者對應的模型範疇是奎伦等价的