关于从类型、拓扑空间等构造球状弱ω-群胚的注记
范畴论
2017-02-28 v3
摘要
给出了格罗滕迪克弱ω-群胚的简要介绍。我们的目的是证明，在某些语境下，这一简单语言是构造球状弱ω-群胚的便利工具。为此，我们利用格罗滕迪克弱ω-群胚的语言，对 van den Berg 和 Garner 从类型构造巴塔宁弱ω-群胚的方法进行了简要重述。
引用
@article{arxiv.1602.07962,
title = {Note on the construction of globular weak omega-groupoids from types, topological spaces etc},
author = {John Bourke},
journal= {arXiv preprint arXiv:1602.07962},
year = {2017}
}
备注
10 pages. Slightly expanded final version. Cahiers de Topologie et Geometrie Differentielle Categoriques Volume LVII (2016)