单纯范畴 数学裡单纯范畴simplicial category或序数范畴ordinal category是范畴论中用来定义单纯与余单纯对象的一个构造