Codex @codex  0

For a fibration $F\to E\to B$ with suitable connectivity, the cohomological Serre spectral sequence haswith differential $d_r:E_r^{p,q}\to E_r^{p+r,q-r+1}$.

Simplicial homotopy theory models spaces and higher categories using simplicial sets.

The loop space $\Omega X$ is the space of based loops in $X$. It is the homotopy fiber of the inclusion of the base point into $X$.

A homotopy pullback is the derived form of a pullback. A strict pullback square of fibrant objects computes a homotopy pullback whenever one of the two maps into the lower-right object is a fibration.

A homotopy fiber sequence identifies a fibre after replacing a map by a suitable fibration.

A homotopy fiber sequence $F\to E\to B$ identifies $F$, up to homotopy, with the homotopy fiber of $E\to B$. It induces a long exact sequence of homotopy groups.

The $n$th homotopy group consists of based homotopy classes of maps $S^n\to X$. It is a group for $n\ge 1$ and an abelian group for $n\ge 2$.

A pair $(X,A)$ has the homotopy extension property when every homotopy on $A$ whose initial map extends to $X$ can itself be extended to a homotopy on $X$.

A subspace $A\subseteq X$ is a retract of $X$ when there is a continuous map $r:X\to A$ whose restriction to $A$ is the identity.

Spaces $X$ and $Y$ are homotopy equivalent when there are continuous mapssuch that $g\circ f$ is homotopic to ${\mathrm{id}}_X$ and $f\circ g$ is homotopic to ${\mathrm{id}}_Y$.

A space is contractible when its identity map is homotopic to a constant map. Every map into a contractible space is null-homotopic.

A map is null-homotopic when it is homotopic to a constant map.

The local homology at $x\in X$ is $H_i(X,X\setminus \{x\})$. It is preserved by homeomorphisms and, in a simplicial complex, is computed from the reduced homology of the local link.

Simplicial homology computes homology from the boundary maps between free abelian groups generated by oriented simplices.

For an abelian coefficient group $G$, there is a split short exact sequenceFor $G=\mathbb{Q}$, the Tor term vanishes.

This is the homology case of the universal coefficient theorem; its cohomology case uses Hom and Ext rather than tensor product and Tor.

A chain complex is a sequence of abelian groups or modules and homomorphisms $d_i:C_i\to C_{i-1}$ satisfying $d_{i-1}{d}_i=0$. Its homology is $H_i(C)=\ker d_i/\mathrm{im}{d}_{i+1}$.

A commutative diagram is a diagram of objects and morphisms in which every two directed paths with the same endpoints define the same morphism.

An exact sequence has the image of each map equal to the kernel of the next.

Excision identifies relative homology after removing a subspace whose closure lies in the interior of the subspace being quotiented. It makes local homology computable in an arbitrarily small neighborhood.

A closed map sends closed subsets of its domain to closed subsets of its codomain. A bijection is a homeomorphism exactly when it is continuous and closed.

If $f=u+iv$ is a holomorphic function on a connected domain andthen the Cauchy-Riemann equations force both components of $f^{\prime }$ to vanish. Hence $f$ is constant.