n实验室群胚上的正则模型结构
重定向自“群胚上的自然模型结构”诊断树。
目录
上下文
模型范畴理论
模型类别,模型-类别
定义
态射
通用结构
精炼
生成新模型结构
演示-类别
模型结构
对于-群胚
对于∞-群胚
对于等变-群胚
对于理性-群胚
有理等变-群胚
对于-群胚
对于-组
对于-代数
一般的-代数
具体的-代数
对于稳定/光谱对象
对于-类别
用于稳定-类别
对于-歌剧
对于-类别
对于-滑轮/-烟囱
目录
想法
这个典型模型结构在1上-类别 Grpd公司属于群胚(带有仿函数是对(2,1)-类别属于群胚,仿函数和自然同构.
这是各种口味中的一种典型模型结构关于的类类别和较高类别.
定义
声称Def。确实给出了模型结构是由于安德森1978,重复者布斯菲尔德1989都没有证据。证据出现在Joyal&Tierney 1991年,Thm。2(在一般情况下内部的群胚 地形,因此:第个,共个烟囱)和斯特里克兰2000.紧接着是正确性(通过本道具。)因为所有物体都很明显双振子。在(2,1)-滑轮的模型结构考虑结构,Hollander 2001,定理2.1谁还说共纤维生成和单纯富集,没有证据。自Grpd公司是一个本地可呈现类别(例如这个道具,观察到群胚是极限草图,即通过如所示的图表给出内部类别)这意味着是组合的。最后是笛卡尔模型结构如下所示Cat上的正则模型结构,请参阅那里.
属性
与上的规范模型结构的关系
请参阅典型模型结构了解更多信息。
与上的经典模型结构的关系
考虑这对伴随函子
(1)
哪里是单纯神经类别中包含值sSet(设置)属于单纯形集.
我们可以随时检查:
提议
使用上的规范模型结构(来自道具。)和单形集上的经典模型结构,(?)NerveAdjunction是一个奎伦附加
(参见。Hollander 2001,Cor.2.3)
事实上:
(参见。Hollander 2001年,Lem。2.4)
工具书类
一些方面(如群胚腓骨的拉回稳定性在其属性2.8中)出现在
模型结构的存在(无需证明)见:
以及(通过引用安德森,仍然没有证据):
证明如下:
值为的函子的模型结构(a)(2,1)-滑轮的模型结构):
上的模型结构但进行了本地化,以使fibrant对象成为群胚:
上次修订时间:2023年11月2日07:42:11。请参阅历史获取所有贡献的列表。