参数化族的基本无穷群胚

Karthik Yegnesh

参数化族的基本无穷群胚

代数拓扑 2017-02-28 v5

作者: Karthik Yegnesh

摘要

给定一个无穷范畴 C，可以自然地构造一个无穷范畴 Fam(C)，其对象为 C 中由无穷群胚索引的对象的族。Borceux 和 Janelidze 在范畴伽罗瓦理论中关于广义覆盖映射的研究使用了该构造的普通范畴版本。在本文中，我们发展了此种“参数化族”的同伦论，作为经典空间同伦论的推广。特别地，我们研究了由无穷范畴中族的基本无穷群胚产生的同伦论构造。基于同样精神，我们证明 Fam(C) 容许一个 Grothendieck 拓扑，它推广了 Carchedi 意义下无穷群胚的无穷拓扑斯上的典范/满射拓扑。

关键词

无穷范畴无穷群胚参数化族同伦论 Grothendieck拓扑基本无穷群胚

引用

@article{arxiv.1701.02250,
  title  = {The Fundamental Infinity-Groupoid of a Parametrized Family},
  author = {Karthik Yegnesh},
  journal= {arXiv preprint arXiv:1701.02250},
  year   = {2017}
}

备注

Comments Welcome

参数化族的基本无穷群胚

摘要

关键词

引用

备注

相关论文