Type In n.录入 type restriction 类型限定 balcony type 外廊式 bellows type 波纹管式,风箱式的,膜盒式 cell type 程控 double type 复式的 最新单词 rigid kayak的中文意思 非折叠式的皮艇 rigid granules怎么翻译及发音 (催化剂)固体颗粒 rigid foundation structure的意思 刚性基础结构 rigid elli...
homotopy type 同伦型[抽.d叩y type:roMoTon一,ee,皿.Toul,亦称伦型 一类同伦等价的拓扑空间.两个映射f:X~Y与g:Y~X,如果满足fog一l,与夕of一lx,则称为孚禅的回诊等价(mutually一~holr幻toPy鄂-从习即。污).如果仅仅第一个条件满足,则称g是一个同伦单态射(holnDtopymo~甲ham)而f称为一个回珍李奉...
homotopy type invariant [ˌhəuməˈtɔpi taip inˈvɛəriənt] 释义 同伦型不变量 行业词典 数学 伦型不变量
但是Univalece是axiom, 所以无法直接计算，为了能够使它计算，目前的热门候选理论是Cubical type theory ...
出版年:2014-6-3 页数:609 装帧:Paperback ISBN:9787704251709 豆瓣评分 8.1 23人评价 5星 39.1% 4星 43.5% 3星 17.4% 2星 0.0% 1星 0.0% 评价: 写笔记 写书评 加入购书单 分享到 推荐 内容简介· ··· Homotopy type theory is a new branch of mathematics that combines aspects of several differen...
现代计算机科学，早已经和数学融合了。
1) homotopy type invariant 伦型不变量1. Simplicial homology group is a topological invariant,and is also a homotopy type invariant. 单纯同调群是拓扑不变量,也是伦型不变量,也就是说如果两个拓扑空间同伦等价而不同胚,那么它们的各维同调群同构,就不能用同调群来区别这两个空间。
Homotopy type of the boolean complex of a Coxeter system - Ragnarsson, Tenner () Citation Context ... the complex of words on the vertex set of G, without repeated letters, where two letters commute if the corresponding vertices are not connected by an edge in G. Boolean complexes were ...
A Coq library for Homotopy Type Theory Coq 1.2k 193 HoTT-Agda Public Development of homotopy type theory in Agda Agda 414 59 EPIT-2020 Public EPIT 2020 - Spring School on Homotopy Type Theory TeX 102 11 M-types Public A formalization of M-types in Agda Agda 32 2 coq ...