A tripos based on compact Hausdorff spaces
英文摘要：
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Compact Hausdorff Locales in presheaf toposes
We prove that for any small category $\mathcal{C}$, the category $\mathbf{KHausLoc}_{\hat{\mathcal{C}}}$ of compact Hausdorff locales in the presheaf topos $\hat{\mathcal{C}}$, is equivalent to the category of functors $\mathcal{C} \to \mathbf{KHausLoc}$.
math.CT
滤式预拓扑与紧致豪斯多夫局部
Filtral pretoposes and compact Hausdorff locales
本文证明满足温和条件的滤式预拓扑可嵌入紧致豪斯多夫局部范畴，构造性地推广了Marra和Reggio的刻画，避免涉及点。
math.CT
紧豪斯多夫 locales 的分类群胚
A Classifying groupoid for compact Hausdorff locales
本文构造局部群胚 $\mathbb{G}_{KH}$，证明紧豪斯多夫 locales 范畴等价于主丛范畴，作为对象分类器的紧豪斯多夫对偶。
math.CT
度量紧Hausdorff空间的Barr正合性
Barr-coexactness for metric compact Hausdorff spaces
University of Birmingham（伯明翰大学）；University of Aveiro（阿威罗大学）
本文在分离度量紧Hausdorff空间范畴中刻画正则单态射与满态射，给出用核度量表示商对象的方法，并证明其对偶范畴是Barr-正合的，推进了度量结构的范畴论研究。
math.CT
Condensed Sets on Compact Hausdorff Spaces
A condensed set is a sheaf on the site of Stone spaces and continuous maps. We prove that condensed sets are equivalent to sheaves on the site of compact Hausdorff spaces and continuous maps. As an application, we show that there exists a model structure on the category of condensed sets.
math.CTmath.GN
Convergence and quantale-enriched categories
Generalising Nachbin's theory of "topology and order", in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology. We compare these $\mathcal{V}$-categorical compact Hausdorff spaces with ultrafilter-quantale-enriched categories, and show that the presence of a compact Hausdorff topology guarantees Cauchy completeness and (suitably defined) codirected completeness of the underlying quantale enriched category.
math.CT
更多相关论文收起更多论文
A characterisation of the category of compact Hausdorff spaces
We provide a characterisation of the category KH of compact Hausdorff spaces and continuous maps by means of categorical properties only. To this aim we introduce a notion of filtrality for coherent categories, relating certain lattices of subobjects to their Boolean centers. Our main result reads as follows: Up to equivalence, KH is the unique non-trivial well-pointed pretopos which is filtral and admits all set-indexed copowers of its terminal object.
math.CTmath.GN
紧豪斯多夫空间不是有限共 concrete 的拓扑证明
A topological proof that compact Hausdorff spaces are not finitely co-concrete
Institut de Recherche en Mathématique et Physique, Université catholique de Louvain（数学与物理研究所，天主教鲁汶大学）
本文针对紧豪斯多夫空间范畴的对偶非有限共 concrete 的结论，给出了简短拓扑证明，并通过识别特定序列余极限进一步强化了该结果。
math.CTmath.GN
局部紧 Hausdorff 空间上的连续六函子形式体系
Continuous six-functor formalism on locally compact Hausdorff spaces
本文证明了将局部紧 Hausdorff 空间映射到谱层 $\infty$-范畴的函子是连续六函子形式体系的初始对象，并将 Efimov 的代数 $K$-理论计算推广至所有局部化不变量。
math.ATmath.CTmath.KT
显式离散拟波兰空间与紧豪斯多夫空间的有效拟波兰范畴
Effective quasi-Polish categories of overt discrete spaces and compact Hausdorff spaces
Graduate School of Human and Environmental Studies Kyoto University（京都大学人类与环境学研究科）
该研究将显式离散、紧豪斯多夫的拟波兰空间范畴构造为有效拟波兰空间与可计算映射范畴的内部范畴，且证明斯通对偶性可计算，为相关拓扑范畴的可计算性研究提供了基础。
cs.LOmath.CTmath.LO
Two extensions of the Stone Duality to the category of zero-dimensional Hausdorff spaces
Extending the Stone Duality Theorem, we prove two duality theorems for the category ZHaus of zero-dimensional Hausdorff spaces and continuous maps. Both of them imply easily the Tarski Duality Theorem, as well as two new duality theorems for the category EDTych of extremally disconnected Tychonoff spaces and continuous maps. Also, we describe two categories which are dually equivalent to the category ZComp of zero-dimensional Hausdorff compactifications of zero-dimensional Hausdorff spaces and obtain as a corollary the Dwinger Theorem about zero-dimensional compactifications of a zero-dimensio…
math.CTmath.GN
Some Generalizations of Fedorchuk Duality Theorem -- II
As it was shown in the first part of this paper, there exists a duality between the category DSkeLC (introduced there) and the category SkeLC of locally compact Hausdorff spaces and continuous skeletal maps. We describe here the subcategories of the category DSkeLC which are dually equivalent to the following eight categories: all of them have as objects the locally compact Hausdorff spaces and their morphisms are, respectively, the injective (respectively, surjective) continuous skeletal maps, the injective (resp., surjective) open maps, the injective (resp., surjective) skeletal perfect maps…
math.CTmath.GN
豪斯多夫拓扑空间的有效余下降态射
Effective codescent morphisms of Hausdorff topological spaces
研究豪斯多夫拓扑空间的有效余下降态射，通过证明对于紧致\(B\)和正规\(E\)，嵌入\(p:B\rightarrowtail E\)是有效余下降态射，加强和补充了早期结果。
math.CTmath.GN
A new duality theorem for locally compact spaces
In 1962, H. de Vries proved a duality theorem for the category {\bf HC} of compact Hausdorff spaces and continuous maps. The composition of the morphisms of the dual category obtained by him differs from the set-theoretic one. Here we obtain a new category dual to the category {\bf HLC} of locally compact Hausdorff spaces and continuous maps for which the composition of the morphisms is a natural one but the morphisms are multi-valued maps.
math.CTmath.GN
Hausdorff Tight Groupoids Generalised
We extend Exel's ample tight groupoid construction to general locally compact étale groupoids in the Hausdorff case. Moreover, we show how inverse semigroups are represented in this way as 'pseudobases' of open bisections, thus yielding a duality which encompasses various extensions of the classic Stone duality.
math.CTmath.GNmath.RA
