Scifaro

中文

严格 2-拓扑斯

范畴论 2007-05-23 v1

作者: M. Weber

在 arXiv 上查看 ↗ PDF ↗

摘要

本文给出了初等拓扑斯的一个 2-范畴推广，并探讨了其所生成的 yoneda 结构的一些性质。讨论了与高阶范畴理论的 globular 方法相关的例子。本文还包含一些关于有限完备 2-范畴内部的 fibration 理论的说明性材料，以及关于 yoneda 结构的必要背景的自包含发展。

关键词

2-拓扑斯初等拓扑斯 yoneda 结构 fibration 高阶范畴理论

引用

@article{arxiv.math/0606393,
  title  = {Strict 2-toposes},
  author = {M. Weber},
  journal= {arXiv preprint arXiv:math/0606393},
  year   = {2007}
}

备注

53 pages