“Type families are fibrations”的概念、定义、习题解题方法及翻译-数学辞典

单词	Type families are fibrations
释义	See23TypeFamiliesAreFibrations
随便看	HomologyOfmathbbRP3 HomologyOfTheSphere homology of the sphere homology of ℝ⁢ℙ^3. HomologySphere homology sphere HomomorphicImageOfASigmastructureIsASigmastructure homomorphic image of a Σ-structure is a Σ-structure HomomorphicImageOfGroup homomorphic image of group HomomorphismBetweenAlgebraicSystems homomorphism between algebraic systems HomomorphismBetweenPartialAlgebras homomorphism between partial algebras HomomorphismOfLanguages homomorphism of languages HomomorphismsFromFieldsAreEitherInjectiveOrTrivial homomorphisms from fields are either injective or trivial HomomorphismsOfSimpleGroups homomorphisms of simple groups Homothetic homothetic HomotopesAndIsotopesOfAlgebras homotopes and isotopes of algebras Homotopies and Equivalences

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