“John Pollard”的概念、定义、习题解题方法及翻译-数学辞典

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

单词	John Pollard
释义	SeeJohnPollard
随便看	Homotopies and Equivalences HomotopyCategory homotopy category HomotopyDoubleGroupoidOfAHausdorffSpace homotopy double groupoid of a Hausdorff space HomotopyEquivalence homotopy equivalence HomotopyExtensionProperty homotopy extension property HomotopyGroups homotopy groups Homotopy-inductive types HomotopyInvariance homotopy invariance HomotopyLiftingProperty homotopy lifting property Homotopy n-types HomotopyOfMaps homotopy of maps HomotopyOfPaths homotopy of paths Homotopy theory HomotopyTypeTheory Homotopy type theory Homotopy Type Theory