请输入您要查询的字词:
单词
homotopy of maps
释义
See
HomotopyOfMaps
随便看
A211Definitions
A.2.11 Definitions
A21Contexts
A.2.1 Contexts
A23TypeUniverses
A.2.3 Type universes
A24DependentFunctionTypesPitypes
A.2.4 Dependent function types (Π-types)
A25DependentPairTypesSigmatypes
A.2.5 Dependent pair types (Sigma-types)
A26CoproductTypes
A.2.6 Coproduct types
A27TheEmptyType0
A.2.7 The empty type 0
A28TheUnitType1
A.2.8 The unit type 1
A29TheNaturalNumberType
A.2.9 The natural number type
A2TheSecondPresentation
A.2 The second presentation
A31FunctionExtensionalityAndUnivalence
A.3.1 Function extensionality and univalence
A32TheCircle
A.3.2 The circle
A3HomotopyTypeTheory
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 1:32:37