Abstract We extend the complete ordered set Dana Scott’s D_ to a complete weakly ordered Kan complex K_, with properties that guarantee the non-equivalence of the interpretation of some higher conversions of -conversions of -terms.
Martínez-Rivillas et al. (Mon,) studied this question.