Category:Homotopy theory
![]() | Computing portal |
Here is a list of articles in the Homotopy theory category of the Computing portal that unifies foundations of mathematics and computations using computers. In algebraic topology, homotopy theory is the study of homotopy groups; and more generally of the category of topological spaces and homotopy classes of continuous mappings. At an intuitive level, a homotopy class is a connected component of a function space. The actual definition uses paths of functions.
Pages in category "Homotopy theory"
The following 129 pages are in this category, out of 129 total.
- Homotopy (computing)
- Homotopy theory (computing)
2
- 2-group (computing)
A
- A¹ homotopy theory (computing)
- Acyclic space (computing)
- Adams filtration (computing)
- Adams spectral sequence (computing)
- Frank Adams (biography)
- André–Quillen cohomology (computing)
- Aspherical space (computing)
B
- Barratt–Priddy theorem (computing)
- Bousfield localization (computing)
C
- Chromatic homotopy theory (computing)
- Classifying space (computing)
- Classifying space for U(n) (computing)
- Cofibration (computing)
- Coherency (homotopy theory) (computing)
- Cohomotopy group (computing)
- Compactly generated space (computing)
- Connective spectrum (computing)
- Contractible space (computing)
- Cotangent complex (computing)
- Cotriple homology (computing)
- Covering space (computing)
- CW complex (computing)
D
- Desuspension (computing)
- Direct limit of groups (computing)
- Double groupoid (computing)
E
- Eilenberg–MacLane space (computing)
- En-ring (computing)
- Equivariant cohomology (computing)
- Equivariant stable homotopy theory (computing)
- Étale homotopy type (computing)
- Exterior space (computing)
F
- Fiber-homotopy equivalence (computing)
- Fibrant object (computing)
- Fibration (computing)
- Freudenthal suspension theorem (computing)
- Fundamental group (computing)
G
- G-spectrum (computing)
- Generalised Whitehead product (computing)
- Generalized Poincaré conjecture (computing)
- Groupoid (computing)
H
- H-space (computing)
- Halperin conjecture (computing)
- Highly structured ring spectrum (computing)
- Homotopy analysis method (computing)
- Homotopy category (computing)
- Homotopy colimit (computing)
- Homotopy extension property (computing)
- Homotopy fiber (computing)
- Homotopy group (computing)
- Homotopy group with coefficients (computing)
- Homotopy groups of spheres (computing)
- Homotopy hypothesis (computing)
- Homotopy lifting property (computing)
- Homotopy sphere (computing)
- Homotopy type theory (computing)
- Hopf fibration (computing)
- Hopf invariant (computing)
- Hypercovering (computing)
I
- Infinite loop space machine (computing)
- ∞-groupoid (computing)
- Iterated monodromy group (computing)
J
- J-homomorphism (computing)
- Johnson–Wilson theory (computing)
K
- Kan fibration (computing)
- Kan-Thurston theorem (computing)
L
- Line bundle (computing)
- Localization of a topological space (computing)
- Loop space (computing)
M
- Model category (computing)
- Module spectrum (computing)
- Monodromy (computing)
N
- N-connected space (computing)
- N-group (category theory) (computing)
- Nilpotence theorem (computing)
- Novikov conjecture (computing)
O
- Obstruction theory (computing)
P
- Path (topology) (computing)
- Path space fibration (computing)
- Peripheral subgroup (computing)
- Phantom map (computing)
- Plus construction (computing)
- Pointed space (computing)
- Postnikov system (computing)
- Puppe sequence (computing)
Q
- Quasi-category (computing)
- Quillen adjunction (computing)
R
- Rational homotopy theory (computing)
- Ravenel conjectures (computing)
- Ravenel's conjectures (computing)
- Redshift conjecture (computing)
- Ring spectrum (computing)
S
- Section (fiber bundle) (computing)
- Segal conjecture (computing)
- Segal's conjecture (computing)
- Seifert–van Kampen theorem (computing)
- Semi-locally simply connected (computing)
- Semi-s-cobordism (computing)
- Shape theory (mathematics) (computing)
- Simple-homotopy equivalence (computing)
- Simplex category (computing)
- Simplicial homotopy (computing)
- Simplicial presheaf (computing)
- Simplicial set (computing)
- Simplicial space (computing)
- Smash product (computing)
- Spanier–Whitehead duality (computing)
- Spectrum (topology) (computing)
- Sphere spectrum (computing)
- Stable homotopy theory (computing)
- Stable module category (computing)
- Stunted projective space (computing)
- Sullivan conjecture (computing)
- Dennis Sullivan (biography)
- Suspension (topology) (computing)
T
- Timelike homotopy (computing)
- Timelike simply connected (computing)
- Toda bracket (computing)
- Toda–Smith complex (computing)
- Topological half-exact functor (computing)
- Topological rigidity (computing)
U
- Universal bundle (computing)
V
- Volodin space (computing)
W
- Weak equivalence (homotopy theory) (computing)
- Weakly contractible (computing)
- Wedge sum (computing)
- Whitehead product (computing)