homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A simplicial homotopy equivalence is a homotopy equivalence between simplicial sets.
A morphism $f\colon A\to B$ of simplicial sets is a simplicial homotopy equivalence if there is a morphism $g\colon B\to A$ and homotopies $p\colon \Delta^1\times A\to A$ from $id_A$ to $g \circ f$ and $q\colon \Delta^1\times B\to B$ from $f \circ g$ to $id_B$ (where $id_X$ denotes the identity morphism on the simplicial set $X$).
If $A$ and $B$ are Kan complexes, then $f$ is a simplicial homotopy equivalence if and only if $f$ has the right homotopy lifting property with respect to the boundary inclusion $\partial\Delta^n\to\Delta^n$ of simplices.
All simplicial homotopy equivalences are simplicial weak equivalences. The converse is true if $A$ and $B$ are Kan complexes.
Last revised on October 6, 2020 at 06:10:48. See the history of this page for a list of all contributions to it.