协变与逆变同伦论

给定一个局部可表现范畴以及合适的函子化圆柱对象，我们构造了对圆柱“方向”敏感的模式结构。我们证明单纯集上的协变与逆变模式结构以及带标记单纯集上的余笛卡尔与笛卡尔模式结构都是我们形式体系的例子。在此设定中，终映射与初映射以及光滑映射与真映射的概念自然出现，并将在这些例子中辨识这些映射。