可层化的同伦模型范畴
范畴论
2009-11-07 v1 代数拓扑
摘要
若一个 Quillen 模型范畴能够用某种逻辑语法来规定（直观上即“足够代数/组合”），从而可在任意层范畴中定义，则 Quillen 公理在任意 site 上的满足性，是它们在集合范畴上被满足的形式直接推论。此类数据给出了一个从 topos 与几何态射的范畴到 Quillen 模型范畴与 Quillen 伴随函子的函子。
引用
@article{arxiv.math/0102087,
title = {Sheafifiable homotopy model categories},
author = {Tibor Beke},
journal= {arXiv preprint arXiv:math/0102087},
year = {2009}
}
备注
30 pages