“list of mathematicians awarded the Wolf Prize”的概念、定义、习题解题方法及翻译-数学辞典

单词	list of mathematicians awarded the Wolf Prize
释义	SeeListOfMathematiciansAwardedTheWolfPrize
随便看	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 28TheUnitType 2.8 The unit type 29PitypesAndTheFunctionExtensionalityAxiom SphereTheoremFromGlobalDifferentialGeometry sphere theorem from global differential geometry

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。