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

单词	A3HomotopyTypeTheory
释义	A.3 Homotopy type theory In this section we state the additional axioms of homotopy type theory which distinguish it from standard Martin-Löf type theory: function extensionality, theunivalence axiom, and higher inductive types. We state them in the styleof the second presentation \\autorefsec:syntax-more-formally, although the first presentation \\autorefsec:syntax-informally could be used just as well.
随便看	ExampleOfSchreiersLemma example of Schreier’s Lemma ExampleOfSmithNormalForm example of Smith normal form ExampleOfSolvingACubicEquation example of solving a cubic equation ExampleOfSolvingAFunctionalEquation example of solving a functional equation ExampleOfSolvingTheHeatEquation example of solving the heat equation ExampleOfStochasticMatrixOfMapping Example of stochastic matrix of mapping ExampleOfStraightlineProgram example of straight-line program ExampleOfStronglyMinimal example of strongly minimal ExampleOfSummationByParts example of summation by parts ExampleOfTautology example of tautology ExampleOfTaylorPolynomialsForsinX example of Taylor polynomials for s⁢i⁢nx ExampleOfTaylorPolynomialsForTheExponentialFunction example of Taylor polynomials for the exponential function ExampleOfTelescopingSum

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

A.3 Homotopy type theory