“proof for one equivalent statement of Baire category theorem”的概念、定义、习题解题方法及翻译-数学辞典

单词	proof for one equivalent statement of Baire category theorem
释义	SeeProofForOneEquivalentStatementOfBaireCategoryTheorem
随便看	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 28TheUnitType 2.8 The unit type

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