|
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 电脑 数学 · 1 年前 同伦类型论（homotopy type theory，缩写HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱分解系统。 中文名：同伦类型论外文名：;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 汉朝 秦始皇 文化 中国古代史 · 1 年前 2018年2月2日 ... “书同文”，即语言文字的统一，不仅推动了秦王朝政治、经济、文化的发展，更重要的是，这一文字统一局面横亘了整部中国史。 ○ “行同伦”，其所代表的是;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · theory foundation · 1 年前 2014年12月16日 ... 摘要：同伦类型论（Homtopy Type Theory, HoTT）是近年来很活跃的一个新兴跨学科领域。它结合了代数拓扑中的重要分支--同伦论（Homotopy Theory;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · theory · 1 年前 本期包括涵盖同伦类型理论中一系列主题的文章——从统一基础中数学的公式化和形式化到使用范畴论研究类型论的元理论。模态允许人们以一种可控的方式通过额外的类型和术语;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · · 1 年前 2021年5月23日 ... 本文对『规整性』（原文regularity，这个翻译是我自己想的）这个性质进行一定程度的讨论。本文使用的未定义的单个字母均表达任意表达式。 |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 拓扑 拓扑学 搜狗 代数拓扑 · 1 年前 同伦（英语：homotopic，源自希腊语：ὁμός homós，意为“相同，相似的”与希腊语：τόπος tópos，意为“方位”）。在数学中，同伦的概念在拓扑上描述了两个对象间的“连续;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · bar · 1 年前 2021年6月25日 ... 这节属于一个小番外，不是正课内容，所以打了个星星，算是一个隐藏关卡的那种感觉吧。为了方便，先定义几个记号。 定义1 设X是拓扑空间，;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 对象关系映射 拓扑学 · 1 年前 同伦映射(homotopic maps)是拓扑学中的重要概念。应该指出，映射的同伦关系是从拓扑空间X到Y的所有连续映射所成集合C(X，Y)上的一个等价关系，它将这些映射分成一些等;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 代数 拓扑 代数拓扑 · 1 年前 笔记索引ZCC：笔记索引这一节的主要目的是初步了解同伦的概念, 确定同伦集上的群结构. 如有问题, 欢迎私信、评论指出. 映射的同伦定义1.1.1[同伦] 对于两个空间偶(X,A);... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 拓扑 对象关系映射 拓扑学 · 1 年前 同伦论是拓扑学的重要概念。应该指出，映射的同伦关系是从拓扑空间X到Y的所有连续映射所成集合上的一个等价关系，它将这些映射分成一些等价类，称每个等价类为一个同伦;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 多项式时间 · 1 年前 解多项式方程组的同伦分治法》是依托大连理工大学,由张金涛担任醒目负责人的青年科学基金项目。 |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 拓扑学 代数数论 代数拓扑 数学 · 1 年前 2022年4月29日 ... 使用手术理论，它可以被解释为球面上微分结构的分类。进一步使用手术理论，空间的拓扑分类、PL分类、光滑分类都可以用同伦论的方法完成。因此，计算同伦;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 非线性 · 1 年前 题主您好，我是一个应用数学和流体力学领域的科研人员，我具体一点的研究方向是流体的波动和稳定性，以及渐近、数值方法在其中的应用。下面我从我的科研经历谈一谈我;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · · 1 年前 2023年6月7日 ... 同伦（homotopy）方法 ... 同伦（homotopy）是一个数学术语，来源于拓扑学领域。在数学中，同伦是指通过连续变形将一个数学对象变换为另一个数学对象的过程;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 牛顿法 迭代计算 matlab函数 牛顿迭代法 · 1 年前 2016年9月7日 ... 题目：同伦法（Homotopy method） 学习压缩感知重构算法，经常能见到同伦法，但这里首先要特别说明的是，今天这里讨论的同伦法仅仅是一种思想，;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · fo 基础数学 foundation 数学 · 1 年前 同伦类型理论(HoTT) 是基于构造内涵类型理论的推定的数学新基础，它为ZFC 集合论和范畴论提供的基础提供了替代方案。本文解释并激发了如何以一种独立的方式定义、证明;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · · 1 年前 同伦类型论（homotopy type theory，缩写HoTT）是一套旨在于同伦论的大框架下构建内涵类型论语义的理论，尤指Quillen模型范畴和弱 ... 历史; 定理证明; 相关书籍; 参见;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · theory foundation · 1 年前 2014年12月15日 ... 摘要：同伦类型论（Homtopy Type Theory, HoTT）是近年来很活跃的一个新兴跨学科领域。它结合了代数拓扑中的重要分支--同伦论（Homotopy Theory;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · · 1 年前 人民大学同伦类型论讨论班，今天举行了第一次聚会。我使用手机拍照了一些有意思的板书，权当做笔记，希望对未来者学习有帮助，也作为自己继续学习、查找资料的参考。 |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 代数 数学 · 1 年前 2019年2月3日 ... 请问如何入门同伦类型论（HoTT）？ 只有本科的微积分和线性代数的基础。 关注问题 |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · · 1 年前 2018年2月12日 ... 目录：类型论驿站写作计划The HoTT Book =========== 重要概念对照 ... 作为数学的基础语言之一，同伦类型论是Zermelo-Fraenkel集合论（ZFC）的竞争;... |
|
| 同伦类型论（HoTT） · 憨厚的长颈鹿 · 数学 · 1 年前 心灵鸡汤好难喝。 不清楚HoTT 怎么帮助解决连续统假设。只谈谈目前在计算模型上的结果。 首先;... |
|