请输入您要查询的字词:
单词
category of molecular sets
释义
See
CategoryOfMolecularSets
随便看
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
25TheHigherGroupoidStructureOfTypeFormers
2.5 The higher groupoid structure of type formers
26CartesianProductTypes
2.6 Cartesian product types
27Sigmatypes
2.7 Σ-types
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。
Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 9:11:11