• 语料库ID:123719153

合成拓扑与构造度量空间

@进行中{Levsnik2021SyntheticTA，title={合成拓扑与构造度量空间}，作者={达沃林·列夫斯尼克}，年份={2021}，url={https://api.semanticscholar.org/CorpusID:123719153}}
本文介绍了合成拓扑的主题，特别是与度量空间的关系。合成拓扑模型是一种范畴模型，其中对象具有适当意义上的内在拓扑，并且所有态射都是关于它的连续的。我们重新定义了合成拓扑以合并闭集，并作了一些推广。实数被重建（以适应新的背景）为开放的Dedekind切割。当……时，发展了一个广泛的理论
在arXiv上查看PDF
13引文
背景引文
6

13引文

概率规划同伦类型理论中的合成拓扑

本文提出在类型论中使用合成拓扑来为概率计算的连续分布建模，并展示了如何构建Lebesgue估值，从而构建连续分布。

Urysohn空间的连续性和代数结构

Urysohn空间是一个完全可分度量空间，在可分度量空中具有普适性，可以将有限部分等距延拓到其中…

Urysohn空间的连续性和代数结构

Urysohn空间是一个完全可分度量空间，在可分度量空中具有普适性，可以将有限部分等距延拓到其中…

Martin-Löf宇宙的本征拓扑

Spreen空间与综合Kreisel-Lacombe-Shoenfield-Tseitin定理

    安德烈·鲍尔
    数学
  • 2023
我对Dieter Spreen对有效拓扑空间的处理和Kreisel Lacombe Shoenfield Tseitin（KLST）连续性定理进行了建设性的研究。将斯普林的想法从…

在代数几何中使用拓扑的内部语言

任何方案都有其相关的小型和大型Zariski地形。这些拓扑支持一种内部数学语言，它与通常的数学形式语言非常相似，但是“局部的”…

每个度量空间在函数可实现性上是可分离的

由此可知，直觉主义逻辑并不表明不可分度量空间或具有可判定等式的不可数集的存在，即使作者假定了通过函数可实现性验证的原理，例如依赖性和函数选择、马尔可夫原理、Brouwer连续性和扇原理。

不同数学环境下实数的统一方法

通过引入条纹的概念，给出了实数的一个独立于设置的定义，并证明了各种实数的标准构造都满足这个定义。

不同数学环境下实数的统一方法

通过引入条纹的概念，给出了实数的一个独立于设置的定义，并证明了各种实数的标准构造都满足这个定义。

Martin-Löf宇宙的内在拓扑

假设可拓性的命题公理，我们证明了MartinLöf宇宙a la Russell在其内在拓扑中是不明确的。这并没有调用Brouwerian连续性原则。作为一个…

55参考文献

合成拓扑中的度量空间

合成拓扑：数据类型与经典空间

    M.Escardó
    计算机科学、数学
    数字多处理器
  • 2003

基于可计算的局部紧致空间

    P.泰勒
    计算机科学、数学
    日志。方法计算。科学。
  • 2006
本文利用ASD显离散对象的完整子范畴，将经典空间的可计算基转换为ASD演算中的对象，并证明该子范畴等价于局部紧清醒空间或区域设置的可计算基础的概念。

对角变元与笛卡尔闭范畴

1967年5月，我在芝加哥的讲座中建议了范畴理论在光滑几何和动力学中的某些应用，恢复了函数空间的直接方法，从而也恢复了泛函的直接方法。…

从抽象斯通对偶性看几何与高阶逻辑

逆变幂集及其对局部紧拓扑空间的开子集格和递归可数子集格的推广X满足欧几里德…

抽象石头二元性中的德德金实相

本文的核心使用双侧Dedekind割构造了实线，并表明闭区间是紧凑的和公开的，其中这些概念是使用量词定义的。

指数空间的一种初等方法

本文提供了一种基本的方法，它也适用于商反射子范畴，并包括函数空间上紧开拓扑的自然推广。

实数和其他补全

提出了一种适用于缺乏可数选择的情况下的完备性和完备性概念。这包括实数的构造以及…

感应生成的形式拓扑

合成微分几何概述

[范畴动力学的最初结果于1967年得到证实，并在芝加哥举行的三场系列讲座中发表。从那时起，它的一个蓬勃发展的分支称为合成微分几何…
...