J. Lurie proved in Higher Topos Theory that for $K \in \text{Set}_{\Delta}$, $\mathcal{C} \in \text{Cat}_{\Delta}$, $f: \mathfrak{C}[K] \rightarrow \mathcal{C}^{\text{op}}$ an equivalence of simplicial categories, we have a Quillen equivalence $\text{St}^+_f: (\text{Set}_{\Delta}^+)_{/K} \rightleftarrows (\text{Set}_{\Delta}^+)^{\mathcal{C}}: \text{Un}^+_f$. We prove a partial converse to this theorem at the level of Segal categories, namely that if $L(\text{Set}_{\Delta}^+)_{/K}$ is isomorphic to $L (\text{Set}_{\Delta}^+)^{\mathcal{C}}$ in $\text{Ho}(\text{SePC})$, then $L \mathfrak{C}[K]^{\text{op}}$ and $L \mathcal{C}$ are equivalent as Segal pre-categories. We interpret this as indicating that the Segal category of pre-stacks $L (\text{Set}_{\Delta}^+)^{\mathcal{C}}$ on $\mathcal{C}$ is equivalently given by a choice of simplicial set $K$, relative to which phenomena in $\text{Top}^+ = L(\text{Set}_{\Delta}^+)$ are considered, a sort of relativity principle. If we further take the Bousfield localizations of $L(\text{Set}_{\Delta}^+)^{\mathfrak{C}[K]^{\text{op}}} \simeq L(\text{Set}_{\Delta}^+)_{/K}$ and $L (\text{Set}_{\Delta}^+)^{\mathcal{C}}$ with respect to $\tau$-hypercovers, $\tau$ a Segal topology on $L \mathcal{C}$, then regarding $L_{\text{Bous}}(L (\text{Set}_{\Delta}^+)^{\mathcal{C}})$ as the Segal topos of natural phenomena on $\mathcal{C}$, we also obtain an isomorphism $L_{\text{Bous}} (L(\text{Set}_{\Delta}^+)^{\mathfrak{C}[K]^{\text{op}}}) \cong L_{\text{Bous}}(L (\text{Set}_{\Delta}^+)^{\mathcal{C}})$ of Segal topoi of stacks giving the same representations of natural phenomena, concurrently with the equivalence $L\mathfrak{C}[K]^{\text{op}} \simeq L \mathcal{C}$, which we interpret as a weak universality of natural laws.


翻译:在高端的 Topos 中证明了 Lurie : 对于 $K\ in\ text{Set{Delta}$, $\ mathcal{C}\ text{Cat{Delta} $, $f:\ mathfrak{C} [K]\ trightrow} Ctext{Ctext{Ctext{dl{ text{ text} {tl{tl{ text{ {tle{Set{Delta}}} {K}\ drightleftrows$ (text{Set\\D} delta}) 美元 美元 美元 美元 美元 美元 :\ text{un\\ flate} 美元 美元 。 我们证明, 在Segal 类别中, 美元(tlex\ text{Set\\\\\\\\\\\\\\\\\\\\\\\\\ tal} 美元 美元 美元 美元 美元 美元, 美元 美元 美元 美元比方表示美元 美元 美元比值(treal===美元==美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元=美元

0
下载
关闭预览

相关内容

Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
最新BERT相关论文清单,BERT-related Papers
专知会员服务
53+阅读 · 2019年9月29日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
10+阅读 · 2019年1月29日
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Ray RLlib: Scalable 降龙十八掌
CreateAMind
9+阅读 · 2018年12月28日
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
Linguistically Regularized LSTMs for Sentiment Classification
黑龙江大学自然语言处理实验室
8+阅读 · 2018年5月4日
【 关关的刷题日记47】Leetcode 38. Count and Say
Adversarial Variational Bayes: Unifying VAE and GAN 代码
CreateAMind
7+阅读 · 2017年10月4日
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
SampleRNN语音合成模型
深度学习每日摘要
4+阅读 · 2017年7月3日
Arxiv
4+阅读 · 2019年12月2日
Arxiv
6+阅读 · 2019年7月11日
Arxiv
3+阅读 · 2018年6月18日
Arxiv
3+阅读 · 2018年2月12日
VIP会员
相关VIP内容
Stabilizing Transformers for Reinforcement Learning
专知会员服务
60+阅读 · 2019年10月17日
最新BERT相关论文清单,BERT-related Papers
专知会员服务
53+阅读 · 2019年9月29日
相关资讯
【TED】生命中的每一年的智慧
英语演讲视频每日一推
10+阅读 · 2019年1月29日
无监督元学习表示学习
CreateAMind
27+阅读 · 2019年1月4日
Ray RLlib: Scalable 降龙十八掌
CreateAMind
9+阅读 · 2018年12月28日
Disentangled的假设的探讨
CreateAMind
9+阅读 · 2018年12月10日
Linguistically Regularized LSTMs for Sentiment Classification
黑龙江大学自然语言处理实验室
8+阅读 · 2018年5月4日
【 关关的刷题日记47】Leetcode 38. Count and Say
Adversarial Variational Bayes: Unifying VAE and GAN 代码
CreateAMind
7+阅读 · 2017年10月4日
Auto-Encoding GAN
CreateAMind
7+阅读 · 2017年8月4日
SampleRNN语音合成模型
深度学习每日摘要
4+阅读 · 2017年7月3日
Top
微信扫码咨询专知VIP会员