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

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

单词	Type families are fibrations
释义	See23TypeFamiliesAreFibrations
随便看	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 58IdentityTypesAndIdentitySystems 5.8 Identity types and identity systems 5Entanglement 5. Entanglement 5Induction