摘要

本文构造了范畴Ω-Cat上的一个模,并且证明了范畴Ω-Poset与范畴Ω-CatT同构.