本文介绍了一类新的内涵Martin-Löf型模型理论。我们在拓扑中使用构造有序代数。中的标识类型模型是由摩尔路径的概念给出的。通过考虑特定的总收入topos，我们表明存在这样一个非符码化的模型，即包含所有维度的非平凡结构。换句话说，在这个模型中在嵌套的标识类型序列中，可以包含多个元素，否无论筑巢的程度有多大。虽然灵感来自现有基于单纯形集和立方体集的类型理论的非符号模型这里提出的模型概念以避免任何形式的Kan填充而著名类型语义中的条件。