我不知道该如何选择 t吨 做 不 涉及选择公理。
我对任何东西都感兴趣 概念的 关于反函子中“跨度”与“屋顶”的评论,例如在代数顶/同伦论中的反转等价。
[A] bundle-gerbe只不过是一个2-算符。
[A] bundle-gerbe只不过是一个2-算符。
在某些情况下,束不是应该称为算符的东西。
更一般地说,一个函子(至少是适当饱和的?) 到 定义了 主要的 bibundle(即Hilsum-Skandalis态射)。
Hilsum-Skandalis态射
亨利克·梅策尔德
(请注意,(1)和(2)使其成为双束花,而(3)使其变成双束花 负责人)
饱和anafunctor是profunctor
但是,假设你声称饱和无函子在李群的上下文中是Hilsum-Skandalis态射。
算符和假言符之间的关系是什么?
到目前为止,我还没有真正理解这个类比!
由于原始文件是免费的,我想我可以提供以上链接。
正如Makkai通过电子邮件向我指出的那样,在他的论文中已经简要讨论了2-算符。
已知无双范畴的态射的等价定义吗?它类似于无函子在跨度方面的定义?
但如果它不在Makkai的报纸上
因此,您可能应该开发自己的想法,然后将其与Makkai的组件定义进行比较。
所以几乎没有理由停止自己的方法!
本文由Eugenia Cheng证明了“普通”双范畴和泛主题双范畴之间的等价性。
这难道不表明opetopic双类别与anabicategories不同吗?
我不确定什么是“合成范畴”。但是,我猜这就像一个双范畴,但合成函子〔…〕 已被一个算符替换。
类似地,我怀疑一个“anabifunctor”[…]
[…]就像詹姆斯和我所说的“两类之间的虚拟函子”。
Eugenia Cheng, 视觉双分类
Eugenia Cheng,眼科双分类
谢谢你! 我来看看。
然后,麦凯采纳了我们的想法,并将其发展成为数学的n范畴基础!
所以:在你和我关于2-连接的工作中,我们计算了一个2-函子的下降数据,它的值在2-群中。
这在所选覆盖的转移2-群胚的2-路上定义了一个2-函子。
这是否定义了“两类之间的虚函子”?
最终我们希望找到:
对于任何平滑的2组 ,负责人 -平滑空间上具有2个连接的2束 由路径2-群胚的光滑2-仿函子分类 到 .
为什么要在2点停下来? 伽罗瓦理论的基本原理不断发展…
所以:是的,我相信术语中的模变量,我刚才说的正是你现在说的!
我隐约记得,很久以前,你说过,算符只是谈论堆栈的另一种方式。
我想我理解为什么以及如何做到这一点。 有人详细地写下这个观察结果吗?
乌尔斯写道:
我隐约记得,很久以前,你说过,算符只是谈论堆栈的另一种方式。
我想我理解为什么以及如何做到这一点。 有人详细地写下这个观察结果吗?
我所知道的是托比·巴特尔(Toby Bartels)拥有与光滑算符密切相关的gerbes。
如果有人(呃,布鲁斯?)试图读托比的论文
[…]非贝类的2分类 -空间上的gerbes 相当于2类主体 -2捆以上 ,
在他的论文中添加额外的材料以涵盖案件 是一个完整的2空间,而不仅仅是一个空间…为了取悦你,他说!
我们自己的论文[…]
我们真的应该稍微修改一下,让算符的作用更清楚一些。
我现在还没有检查是否有我以前没有看过的新版本。
但上次我检查这个结果的证明[定理3]还没有包含在内。
更微妙的一步总是反过来:为了证明从每个这样的2-循环中,我们可以构建一个2-束的总2-空间,当局部平凡化时,这个2-束产生了这个循环。
我想,正是托比要求投影,才使得这一反向步骤奏效
这基本上是第22号提案。
每个涉及2-覆盖的等价2-关系都有2-商
每个涉及2-覆盖的等价2-关系都有2-商
给定一个描述交换gerbe的2-余环,[…]具有这种2-转移的2-丛的总2-空间是多少?
第34页第2.1.5节的开头首先出现了“每个涉及2-覆盖的等价2-关系都有一个2-商”。 在这里你称之为 公理 用于2个封盖。
这与单封面的情况非常类似。 尽管有相应的语句,但它是从1-覆盖的独立定义中派生出来的属性。
(我还没有看过你提到的文本[Ele1]。)
但是你知道如何显式地构造它吗?
我还注意到以下非常轻微的随机评论:
一 新年快乐 !
托比已经 发冷 内布拉斯加州。
他计划在论文中添加额外的材料,以涵盖案件 B类 是一个成熟的2空间,而不仅仅是一个空间……为了取悦 你 他说!
因此,如果有人[……]试图阅读托比的论文,并发现如果他添加更多的解释,某些部分会更容易理解,请让托比或我知道你喜欢哪种解释。
最终我们希望找到:
对于任何平滑的2组 G公司 ,负责人 G公司 -平滑空间上具有2个连接的2束 B类 由路径2-群胚的光滑2-仿函子分类 B类 到 G公司 .
约翰写道:
最终我们希望找到:
对于任何平滑的2组 ,负责人 -平滑空间上具有2个连接的2束 由路径2-群胚的光滑2-仿函子分类 到
当问题/困难出现时,请直接提醒我解决方案。