“spaces homeomorphic to Baire space”的概念、定义、习题解题方法及翻译-数学辞典

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

单词	spaces homeomorphic to Baire space
释义	SeeSpacesHomeomorphicToBaireSpace
随便看	4.7 Closure properties of equivalences 48TheObjectClassifier 4.8 The object classifier 49UnivalenceImpliesFunctionExtensionality 4.9 Univalence implies function extensionality 4Equivalences 4. Equivalences 4Measurement 4. Measurement 4SurfaceBundles 4 surface bundles 51IntroductionToInductiveTypes 5.1 Introduction to inductive types 52UniquenessOfInductiveTypes 5.2 Uniqueness of inductive types 53Wtypes 5.3 W-types 54InductiveTypesAreInitialAlgebras 5.4 Inductive types are initial algebras 55HomotopyinductiveTypes 5.5 Homotopy-inductive types 56TheGeneralSyntaxOfInductiveDefinitions 5.6 The general syntax of inductive definitions 57GeneralizationsOfInductiveTypes 5.7 Generalizations of inductive types