Segal 截面的形式化

Edouard Balzin

Segal 截面的形式化

范畴论 2018-12-05 v2 代数几何代数拓扑

作者: Edouard Balzin

摘要

给定一个模型范畴族 $\cal E \to \cal C$ ，我们将其关联到一个导出（或 Segal）截面 $DSect(\cal C,\cal E)$ 的同伦范畴，该范畴对局部化 $L\cal E \to \cal C$ 的高阶范畴截面进行建模。这些导出截面为 Lurie 工作中出现的各种高阶代数对象提供了另一种严格模型。我们证明了关于同伦范畴 $DSect(\cal C,\cal E)$ 性质的一些结果，并作为一个例子，研究了它沿一类选定函子的基变换行为。

关键词

模型范畴 Segal 截面导出截面同伦范畴高阶代数基变换局部化

引用

@article{arxiv.1811.09601,
  title  = {The formalism of Segal sections},
  author = {Edouard Balzin},
  journal= {arXiv preprint arXiv:1811.09601},
  year   = {2018}
}

备注

59 pages ijmart, diagrams package, formatting fixes and a correction to a mistake in the examples

Segal 截面的形式化

摘要

关键词

引用

备注

相关论文