严格的2-toposes

Strict 2-toposes

M. Weber

备注：: 53 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

一个2-范畴概括的基本拓扑提供和它产生的米田结构的一些属性进行了探讨。相关的球形方法高阶范畴理论的例子进行了讨论。本文还包含了一些关于非完全2范畴内部纤维化理论的简要材料，以及关于Yoneda结构的必要背景的独立发展。

英文摘要：

A 2-categorical generalisation of elementary topos is provided and some of the properties of the yoneda structure it generates are explored. Examples relevant to the globular approach to higher category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2-category as well as a self-contained development of the necessary background on yoneda structures.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Yoneda Lemma for Elementary Higher Toposes

We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.

2018-09-05math.ATmath.CT

平坦函子的Yoneda表示与拓扑分类

Yoneda representations of flat functors and classifying toposes

在本文中，我们首先介绍了一种技术，我们称之为“Yoneda表示平坦函子”，从索引范畴论的思想的基础上，然后我们提供了这种技术的应用理论的分类toposes。具体地说，我们得到的结果表征的模型的理论分类的拓扑结构的形式Sh（C，J）的拓扑结构分类的理论模型的拓扑结构[C^op，集]。

2008-05-15math.CTmath.LO

Arithmetic universes and classifying toposes

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has a natural numbers object. Categories of strict models of contexts $T$ in AUs are acted on strictly on the left by non-strict AU-functors and strictly on the right by context maps, and the actions combine in a strict action of a Gray tensor product. Any context extension $T_0 \subset T_1$ gives rise to a bundle. For each point of $T_0$ - a model $M$ of $T_0$…

2017-01-17math.CT

All $(\infty,1)$-toposes have strict univalent universes

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language for reasoning internally to $(\infty,1)$-toposes, just as higher-order logic is used for 1-toposes. As part of the proof, we give a new, more explicit, characterization of the fibrations in injective model structures on presheaf categories. In particular, we show that they generalize the coflexible algebras of 2-monad theory.

2019-04-26math.ATmath.CT

预层拓扑斯中的局部与预层局部

Locales in presheaf toposes vs. presheaves of locales

Masaryk University（马萨里克大学）；National Technical University of Athens（雅典国立技术大学）；University of Patras（帕特雷大学）

本文构造了预层拓扑斯中内部上格/框架在预层上格/框架上的自由结构，作为遗忘函子的左伴随，并应用于研究内部框架的局部紧、紧、稳定局部紧和Hausdorff性质与其截面的关系。

2026-06-23math.CT

单纯集和三次集的拓扑中的层次

Levels in the toposes of simplicial sets and cubical sets

一个固定拓扑的基本子拓扑形成一个完全格，这就产生了拓扑中的层次概念。在我们熟悉的单纯集的例子中，层次与维数一致，并产生了n-骨架单纯集和n-上骨架单纯集的通常概念。除了明显的排序之外，层次还提供了一种比较对象复杂性的更严格的方法，这是由Bill Lawvere提出的以下问题的答案决定的：什么时候n-骨架意味着k-余骨架？本文回答了同伦理论和高阶范畴理论感兴趣的几个命题：单纯集，立方集和自反球集。对于后者，n-骨架意味着（n +1）-余骨架，但对于其他两个例子，情况要复杂得多：n-骨架意味着单纯集的（2n-1）-余骨架和立方集的2n-余骨架，但没有更强的。在进一步的应用讨论中，我们证明了n-骨架循环集必然是（2n +1）-余骨架集.

2010-03-30math.ATmath.CT

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

Dependent products and 1-inaccessible universes

The purpose of this writing is to show that, if we use the definition of elementary $\infty$-topos that has been proposed by Mike Shulman, then the fact that every geometric $\infty$-topos satisfies the required axioms, more specifically the last one of them, is actually something close to a large cardinal assumption. Putting it precisely, we will show that, once a Grothendieck universe has been chosen, the fact that every geometric $\infty$-topos satisfies Shulman's axioms is equivalent to saying that the Grothendieck universe was 1-inaccessible to start with, a condition which is strictly st…

2019-11-19math.CTmath.LO

作为伪代数的灰色范畴的同态

Homomorphisms of Gray-categories as pseudo algebras

给定灰色范畴$P$和$L$，存在一个灰色范畴$\mathrm{Tricat}_{\mathrm{ls}}(P,L)$，它是由定义域$P$和余域$L$、三转、三改和扰动的局部严格三同态构成的。如果定义域$P$是小的，余域$L$是余完备的，我们证明了这个灰色范畴同构于由左Kan扩张导出的灰色单子$T$的伪代数、伪函子、变换和修改的灰色范畴$\mathrm{Ps}$-$T$ - $\mathrm{Alg}$.受二维单子理论中类似情形的启发，我们应用三维单子理论的凝聚理论，证明了在局部严格三同态的Gray范畴中包含的函子范畴在充实意义下有一个左伴随，使得该伴随的单位分量是内部双等价的.证明了具有小整环和余完备余整环的Gray范畴之间的任何局部严格三同态都与Gray函子双等价。此外，Hom Gray-伴随给出了局部严格三同态与Gray-函子之间的三变换的Hom 2-范畴与函子Gray-范畴中相应的Hom 2-范畴的同构.一个值得注意的例子是局部严格的灰值预层与小域。我们的研究结果在三维下降理论中的应用，并指向一个Yoneda引理的方向。

2014-08-15math.CT

Fibrations and Yoneda's lemma in an $\infty$-cosmos

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects. Quasi-categories, Segal categories, complete Segal spaces, marked simplicial sets, iterated complete Segal spaces, $θ_n$-spaces, and fibered versions of each of these are all $\infty$-categories in this sense. Previous work in this series shows that the basic category theory of $\infty$-categories and $\infty$-functors can be developed only in reference to the axioms …

2016-06-13math.ATmath.CT