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

单词	AnIntuitiveInsightIntoCrossProducts1
释义	An Intuitive Insight Into Cross Products An Intuitive Insight Into Cross Products Swapnil Sunil Jain 21 December, 2007
随便看	2.9 Π-types and the function extensionality axiom 2groupoid 2-groupoid 2HomotopyTypeTheory 2. Homotopy Type Theory 2omeganletaunle2Omegan 2StochasticMaps 2. Stochastic maps 2^{ω⁢(n)}≤τ⁢(n)≤2^{Ω⁢(n)} 310WhenArePropositionsTruncated 3.10 When are propositions truncated? 311Contractibility 3.11 Contractibility 31SetsAndNtypes 3.1 Sets and n-types 32PropositionsAsTypes 3.2 Propositions as types? 33MerePropositions 3.3 Mere propositions 34ClassicalVsIntuitionisticLogic 3.4 Classical vs. intuitionistic logic 35SubsetsAndPropositionalResizing 3.5 Subsets and propositional resizing 36TheLogicOfMerePropositions 3.6 The logic of mere propositions

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

An Intuitive Insight Into Cross Products