所有数学知识-数学辞典

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

subnormal subgroup	SubquiverAndImageOfAQuiver	subquiver and image of a quiver	SubRiemannianManifold	Sub-Riemannian manifold
Subring	subring	Subsemiautomaton	subsemiautomaton	SubsemigroupOfACyclicSemigroup
subsemigroup of a cyclic semigroup	SubsemigroupSubmonoidAndSubgroup	subsemigroup,, submonoid,, and subgroup	Subsequence	subsequence
Subset	subset	SubsetConstruction	subset construction	Subsets and propositional resizing
SubsetsOfCountableSetsAreCountable	subsets of countable sets are countable	SubsheafOfAbelianGroups	subsheaf of abelian groups	SubspaceOfASubspace
subspace of a subspace	SubspaceTopology	subspace topology	8.1.1 Getting started	812TheClassicalProof
8.1.2 The classical proof	813TheUniversalCoverInTypeTheory	8.1.3 The universal cover in type theory	814TheEncodedecodeProof	8.1.4 The encode-decode proof
815TheHomotopytheoreticProof	8.1.5 The homotopy-theoretic proof	816TheUniversalCoverAsAnIdentitySystem	8.1.6 The universal cover as an identity system	81pi1S1
8.1 π_1⁢(S_1)	82ConnectednessOfSuspensions	8.2 Connectedness of suspensions	83pikleNOfAnNconnectedSpaceAndpikNSn	8.3 π_{k≤n} of an n-connected space and π_{k<n}⁢(S^n)
84FiberSequencesAndTheLongExactSequence	8.4 Fiber sequences and the long exact sequence	851FibrationsOverPushouts	8.5.1 Fibrations over pushouts	852TheHopfConstruction
8.5.2 The Hopf construction	853TheHopfFibration	8.5.3 The Hopf fibration	85TheHopfFibration	8.5 The Hopf fibration
86TheFreudenthalSuspensionTheorem	8.6 The Freudenthal suspension theorem	871NaiveVanKampen	8.7.1 Naive van Kampen	872TheVanKampenTheoremWithASetOfBasepoints
8.7.2 The van Kampen theorem with a set of basepoints	87TheVanKampenTheorem	8.7 The van Kampen theorem	88WhiteheadsTheoremAndWhiteheadsPrinciple	8.8 Whiteheadâs theorem and Whiteheadâs principle
89AGeneralStatementOfTheEncodedecodeMethod	8.9 A general statement of the encode-decode method	8HomotopyTheory	8. Homotopy theory	91CategoriesAndPrecategories
9.1 Categories and precategories	92FunctorsAndTransformations	9.2 Functors and transformations	93Adjunctions	9.3 Adjunctions
94Equivalences	9.4 Equivalences	95TheYonedaLemma	9.5 The Yoneda lemma	96StrictCategories
9.6 Strict categories	97daggercategories	9.7 †-categories	98TheStructureIdentityPrinciple	9.8 The structure identity principle
99TheRezkCompletion	9.9 The Rezk completion	9CategoryTheory	9. Category theory	A
a	A0Preliminaries	A.0 Preliminaries	A11TypeUniverses	A.1.1 Type universes
A12DependentFunctionTypesPitypes	A.1.2 Dependent function types (Π-types)	A13DependentPairTypesSigmatypes	A.1.3 Dependent pair types (Σ-types)	A14CoproductTypes
A.1.4 Coproduct types	A15TheFiniteTypes	A.1.5 The finite types	A16NaturalNumbers	A.1.6 Natural numbers
A17Wtypes	A.1.7 W-types	A18IdentityTypes	A.1.8 Identity types	A1TheFirstPresentation
A.1 The first presentation	A210IdentityTypes	A.2.10 Identity types	A211Definitions	A.2.11 Definitions
A21Contexts	A.2.1 Contexts	A23TypeUniverses	A.2.3 Type universes	A24DependentFunctionTypesPitypes
[首页] [上一页] [3] [4] [5] [6] [7] [8] [9] [下一页] [末页] 共有 18232 条记录页次: 6/152