首页/论文/1908.08488

arXiv 1908.084882019-08-22math.CT

关于命题中的相关积

On the dependent product in toposes

Olivia Caramello, Riccardo Zanfa

备注：: 18 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们给出了一个明确的依赖产品的基本拓扑结构，并在Grothendieck拓扑的情况下，它的网站理论的描述。

英文摘要：

We give an explicit construction of the dependent product in an elementary topos, and a site-theoretic description for it in the case of a Grothendieck topos.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

过滤商和不可呈现的$(\infty,1)$ -拓扑

Filter Quotients and Non-Presentable $(\infty,1)$-Toposes

定义了$(\infty,1)$ -范畴的滤子，证明了滤子保持初等$(\infty,1)$ -拓扑的结构，特别是提升了初等拓扑的滤子商.然后，我们专门的情况下，过滤产品的$(\infty,1)$ -范畴，并证明了一个特征定理的等价过滤产品。然后我们利用滤子积构造了一大类不是Grothendieck $(\infty,1)$ -拓扑的初等$(\infty,1)$-拓扑.此外，我们给出了一个详细的例子，为感兴趣的读者谁愿意看到我们如何可以构建这样一个$(\infty,1)$ -范畴，但更愿意避免有关过滤器的技术细节。

2021-04-14math.CT

算术宇宙与拓扑分类

Arithmetic universes and classifying toposes

推理的2类Con的背景下，某些草图的算术宇宙（即列表算术pretoses; AU），被证明会产生基地独立的结果Grothendieck topos，提供基本的基本topos有一个自然数对象。在AU中的上下文$T$的严格模型的范畴严格地在左边由非严格AU-函子作用，严格地在右边由上下文映射作用，并且这些作用组合在Gray张量积的严格作用中。任何上下文扩展$T_0 \subset T_1$都会产生一个bundle。对于每个点的$T_0$ -一个模型$T_0$在一个基本的拓扑$S$与nno -它的纤维是一个广义的空间，分类拓扑$S[T_1/M]$的几何理论$T_1/M$的$T_1$ -模型限制到$M$。这种构造是“几何的”，因为对于任何几何态射$f: S' \to S$，分类器$S'[T_1/f^\ast M]$是通过沿着$f$对$S[T_1/M]$进行伪回退而得到的。这是在一个fibrational的方式来对待考虑2类GTop的Grothendieck toposes（有界几何态射）的bicategory（作为双范畴）超过2类的基本toposes与nno，几何态射，自然同构。然后，将拓扑分类为分裂纤维化的表示对象的概念在第二纤维化上使用“局部可表示”的纤维化在可变基础上进行验证。

2017-01-17math.CT

关于拓扑斯的纤维积

On fibred products of toposes

本文在相对拓扑斯理论中证明相对预层拓扑斯的拉回即逆像上的相对预层拓扑斯，并引入带基变换的扩张概念，比较直接像与逆像的典范相对景，揭示其非交换性及Morita等价关系。

2025-09-09math.AGmath.CT

从类型论出发的初等∞-拓扑斯

Elementary $\infty$-toposes from type theory

University of Gothenburg（哥德堡大学）；Chalmers University of Technology（查尔姆斯理工大学）；Western University（韦仕敦大学）

本文证明，具有依赖和、依赖积、内涵相等类型和单值宇宙的依赖类型论的每个范畴模型，通过其∞-局部化呈现一个初等∞-拓扑斯，即一个具有足够单值泛映射的完备、局部笛卡尔闭的∞-范畴，并证明初等∞-拓扑斯具有小子对象分类器。

2026-07-13math.ATmath.CTmath.LO

相依乘积与1-不可达宇宙

Dependent products and 1-inaccessible universes

这篇文章的目的是表明，如果我们使用由Mike Shulman提出的初等$\infty$ -拓扑的定义，那么每个几何$\infty$ -拓扑满足所需公理的事实，更具体地说，最后一个公理，实际上是接近于大基数假设的东西。精确地说，我们将证明，一旦选择了一个格罗滕迪克宇宙，每个几何$\infty$ -topos满足舒尔曼公理的事实就等于说格罗滕迪克宇宙从一开始就是1-不可达的，这个条件比不可达更严格。此外，如果我们的分析依赖于普通层拓扑而不是几何$\infty$拓扑，则可以得到完全类似的结果。在结论中，它将表明，在更强的假设下，假定存在1-不可达基数内的Grothendieck宇宙，例子舒尔曼$\infty$ -toposes这不是几何可以找到。

2019-11-19math.CTmath.LO

拓扑斯中的Hochschild上同调

Hochschild cohomology in toposes

本文在环化拓扑斯中建立内部Hochschild上同调理论，构造内部Hochschild上链复形，特化至差分集合拓扑斯得到内部差分Hochschild上同调，并通过谱序列与绝对上同调比较，系统处理张量积以完善文献。

2024-03-12math.CTmath.LOmath.RA

更多相关论文收起更多论文

原子情形下的拓扑、量子和C ~* 代数

Toposes, quantales and C* algebras in the atomic case

首先，我们回顾之间的关系toposes和格罗滕迪克quantales。我们改进了以前的工作结果，这种关系，给出了两个内部超格的张量积到另一个超格的映射的特征和描述的范畴内的本地的拓扑在相关的Grothendieck Quantale。然后，我们构造一个卷积积，对应于内部组成的矩阵，在一组正下半连续函数上的底层区域的Quantale附加到一个topos。在好的情况下，该卷积积确实限制为连续函数集合的子集上的定义良好的卷积积，并且定义了附接到Quantale的卷积C* 代数。在本文的最后一部分，我们详细研究了原子拓扑的特殊情况下的这些附加C ~* 代数。在这种情况下，相关的格罗滕迪克Quantale对应于一个超广群。为了得到一个有趣的C* 代数，在这个超广群胚上出现了相对简单的有限性条件。这个代数对应于一个超广群代数，它被赋予一个算术子代数和一个时间演化。我们的结论表明，存在一个超广群满足所有要求附加到一个指定的原子拓扑是等价的事实，拓扑是局部可判定的和局部分离的。同样在这种情况下，时间演化只依赖于拓扑，并由拓扑上的（正则）主Q+* 丛描述。BC-系统和更一般的双陪集代数是这种情况的特例。

2013-11-14math.CTmath.OA

超滤子、有限余积与locally connected分类拓扑

Ultrafilters, finite coproducts and locally connected classifying toposes

我们证明了一个单一的范畴理论的结果封装的概念超滤，超幂，超积，张量积的超滤，Rudin-Kiesler偏序超滤，和布拉斯的超滤UF类。这个结果的最基本形式表明Set的有限余积保持内函子范畴FC（Set，Set）等价于前层范畴[UF，Set]。使用这个结果，和它的一些明显的概括，我们重新发现在一个自然的方式重要的模型理论实现之间的关系的n-类型和n-元组的模型元素，并绘制连接Makkai和Lurie的工作概念完整性一阶逻辑通过超范畴。作为我们的主要结果的进一步应用，我们用它来描述一个一阶类似的Jónsson和Tarski的典型扩张。规范扩展是Lindenbaum-Tarski和Kripke语义学之间联系的代数表述，用于直觉和模态逻辑，并将其扩展到一阶逻辑在Joyal，Reyes，Makkai，Pitts，Coumans和其他人研究的类型构造的主题中有先例。在这里，我们研究密切相关的，但不同的，建设的局部连接分类拓扑的一阶理论。这一点的存在是已知的工作芬克，但描述是不明确的;我们的，相比之下，是相当具体的。

2020-06-02math.CT

几何数学在Grothendieck拓扑中的应用

Gelfand spectra in Grothendieck toposes using geometric mathematics

在Heunen、Landsman和Spitters的量子理论的（协变）拓扑方法中，人们将每一个有单位的C*-代数A，一个在一个locale上的层拓扑T（A）和一个在该拓扑内的交换C*-代数a联系起来。a的Gelfand谱是这个topos中的locale S，它等价于基locale上的丛。我们进一步发展这种外部介绍的场所S，注意到，建设的Gelfand频谱在一个一般的拓扑可以描述使用几何逻辑。因此，频谱，作为一个捆绑，计算光纤。作为副产品的几何Gelfand谱，我们发现一个明确的外部描述的频谱时，拓扑是一个函子类别。作为一个中间结果，我们表明，局部完美的地图组成，使外部化的局部紧区域的拓扑层在局部紧区域是局部紧的。

2014-08-01math-phmath.CTmath.MP