请输入您要查询的字词:
单词
totally disconnected space
释义
See
TotallyDisconnectedSpace
随便看
2.10 Universes and the univalence axiom
211IdentityType
2.11 Identity type
212Coproducts
2.12 Coproducts
213NaturalNumbers
2.13 Natural numbers
2141LiftingEquivalences
2.14.1 Lifting equivalences
2142EqualityOfSemigroups
2.14.2 Equality of semigroups
214ExampleEqualityOfStructures
2.14 Example: equality of structures
215UniversalProperties
2.15 Universal properties
21TypesAreHigherGroupoids
2.1 Types are higher groupoids
22FunctionsAreFunctors
2.2 Functions are functors
23Tree
2-3 tree
23TypeFamiliesAreFibrations
2.3 Type families are fibrations
24HomotopiesAndEquivalences
2.4 Homotopies and Equivalences
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 15:02:47