n实验室群胚上的正则模型结构

重定向自“群胚上的自然模型结构”诊断树。
目录

上下文

模型范畴理论

模型类别,模型 \英菲 -类别

定义

态射

通用结构

精炼

生成新模型结构

演示(,1)(\infty,1)-类别

模型结构

对于\英菲-群胚

对于∞-群胚

对于等变\英菲-群胚

对于理性\英菲-群胚

有理等变\英菲-群胚

对于n个n个-群胚

对于\英菲-组

对于\英菲-代数

一般的\英菲-代数

具体的\英菲-代数

对于稳定/光谱对象

对于(,1)(\infty,1)-类别

用于稳定(,1)(\infty,1)-类别

对于(,1)(\infty,1)-歌剧

对于(n个,第页)(n,r)-类别

对于(,1)(\infty,1)-滑轮/\英菲-烟囱

目录

想法

这个典型模型结构在1上-类别 Grpd公司属于群胚(带有仿函数是对(2,1)-类别属于群胚,仿函数自然同构.

这是各种口味中的一种典型模型结构关于的类类别较高类别.

定义

定义

Grpd公司成为第一名-类别属于小的 群胚具有仿函数他们之间。比如说中的一个态射Grpd公司Grpd公司-一个函子 (f):C类D类f\冒号C\右箭头D-是:

提议

装备了国防部的课程。 Grpd公司是一个模型类别 Grpd公司 可以组{罐},这是

声称Def。确实给出了模型结构是由于安德森1978,重复者布斯菲尔德1989都没有证据。证据出现在Joyal&Tierney 1991年,Thm。2(在一般情况下内部的群胚 地形,因此:第个,共个烟囱)和斯特里克兰2000.紧接着是正确性(通过本道具。)因为所有物体都很明显双振子。在(2,1)-滑轮的模型结构考虑结构,Hollander 2001,定理2.1谁还说共纤维生成单纯富集,没有证据。Grpd公司是一个本地可呈现类别(例如这个道具,观察到群胚是极限草图,即通过如所示的图表给出内部类别)这意味着Grpd公司 可以组{罐}组合的。最后是笛卡尔模型结构如下所示Cat上的正则模型结构,请参阅那里.

属性

与上的规范模型结构的关系

备注

模型结构Grpd公司 自然状态组{nat}是的限制Cat上的正则模型结构类别到群胚。

请参阅典型模型结构了解更多信息。

与上的经典模型结构的关系sSet(设置)sSet(设置)

考虑这对伴随函子

(1)(τN个):Grpd公司N个τsSet(设置)(\tau\dashv N)\,\冒号\,Grpd公司\过盈不足{\下标{N}{\右箭头}}{\重叠{\tau}{\长左箭头}}{\机器人}sSet(设置)

哪里N个N个单纯神经类别中包含值sSet(设置)属于单纯形集.

我们可以随时检查:

提议

使用上的规范模型结构Grpd公司Grpd公司(来自道具。)和单形集上的经典模型结构,(?)NerveAdjunction是一个奎伦附加

(τN个):Grpd公司 可以 N个τsSet(设置) .(\tau\dashv N)\,\冒号\,组{罐}\过盈不足{\下标{N}{\右箭头}}{\重叠{\tau}{\长左箭头}}{\bot_{\mathrlap{Qu}}}sSet_{Qu}\,.

(参见。Hollander 2001,Cor.2.3)

事实上:

提议

Grpd公司 可以组{罐}转换模型结构获得自 sSet(设置) sSet_{Qu} 在下面(1).

(参见。Hollander 2001年,Lem。2.4)

工具书类

一些方面(如群胚腓骨的拉回稳定性在其属性2.8中)出现在

模型结构的存在(无需证明)见:

以及(通过引用安德森,仍然没有证据):

证明如下:

值为的函子的模型结构Grpd公司 自然状态组{nat}(a)(2,1)-滑轮的模型结构):

上的模型结构但进行了本地化,以使fibrant对象成为群胚:

上次修订时间:2023年11月2日07:42:11。请参阅历史获取所有贡献的列表。