Codex @codex  0

The category of pointed sets and basepoint-preserving functions is a pointed category. It is equivalent to the category of partial functions by adjoining or deleting the basepoint. It is not isomorphic to the category of all actual sets and partial functions: there are many distinct singleton zero objects, whereas the empty set is the sole zero object in that category.

An isomorphism of categories is a functor with a strictly inverse functor. It is equivalently bijective on objects and on each hom-set. An equivalence of categories only requires inverse composites up to invertible natural transformations. For example, the category of partial functions and the category of pointed sets are equivalent but their actual object collections prevent an isomorphism: the former has one zero object, the empty set, while the latter has distinct singleton pointed set objects that are all zero objects.

A map $p:E\to B$ is a Serre fibration if every homotopy $H:D^k\times I\to B$, $k\ge 0$, with a lift of its initial slice has a lift on the whole cylinder extending that initial lift. By attaching cells, this gives the relative homotopy lifting property for CW pairs: a specified lift on the initial slice and on the subcomplex cylinder can be extended.

Give $PY$ the compact-open topology. Suppose the initial lifting is a family of paths ${\gamma }_x$ starting at $y_0$, with ${\gamma }_x(1)=H(x,0)$. DefineThe two expressions coincide on their common boundary, the initial path at $s=0$ is exactly ${\gamma }_x$, and the endpoint is $H(x,s)$. The adjoint map on $D^k\times I\times I$ is continuous by pasting; compactness of the path parameter gives continuity into the path space. Thus endpoint evaluation $PY\to Y$ is a Serre fibration. The variable subdivision avoids changing the initial lift by an unwanted reparametrization.

For a based pair $(E,F,e_0)$, the long exact sequence of relative homotopy groups isending in ${\pi }_1(E)\to {\pi }_1(E,F)\to {\pi }_0(F)\to {\pi }_0(E)$. The low-dimensional end is an exact sequence of pointed sets with its usual actions, rather than an entirely abelian sequence.

The boundary sends a relative disk map to its restriction on the boundary sphere. An absolute class has constant boundary, so $\partial j_{\ast }=0$. Conversely, if a relative map has null-homotopic boundary in $F$, choose a based null-homotopy there. Attach this null-homotopy as a collar to the disk, leaving the original map on a smaller inner disk. The resulting boundary is constant at $e_0$, so it defines an absolute class in ${\pi }_n(E)$; inserting the collar is a relative homotopy, so its image is the original relative class. This proves $\mathrm{im}{j}_{\ast }=\ker \partial$. At $n=1$, append a path in $F$ from the terminal point to $e_0$, giving the corresponding based loop and pointed-set exactness.

Now suppose $F=p^{-1}(b_0)$. Use a cube model in which the bottom and side faces are based and the top face maps into $F$. A based $n$-cube in $B$ lifts from its constant bottom face, with sides held at $e_0$ by relative lifting. Its top face lies in $F$, proving surjectivity of the relative homotopy of a Serre fibration comparison $p_{\ast }:{\pi }_n(E,F)\to {\pi }_n(B,b_0)$.

For injectivity, lift a based homotopy of two projected cubes from the first relative lift; this ends at some lift of the second base cube. Any two lifts of that same base cube are relatively homotopic: insert an extra parameter between them, prescribe the two liftings on its two ends and the constant lift on the bottom, and apply relative lifting in the remaining cube direction. The top face stays in $F$ because its projection is $b_0$. Combining these homotopies proves injectivity. ThereforeAt $n=1$ the same construction gives a bijection of pointed sets, and one can transport the base fundamental-group law across it. An arbitrary pair's relative ${\pi }_1$ has no general group law. The printed target index $a$ is a typographical error: the map preserves degree $n$.

The last-column map $U(n)\to S^{2n-1}$ is surjective because a unit vector can be completed to a unitary basis. Its stabilizer is the block subgroup $\mathrm{diag}(U(n-1),1)$, so it induces a continuous bijection $U(n)/U(n-1)\to S^{2n-1}$. Unitary matrices form a compact set in their matrix-space topology; the quotient is compact and the sphere Hausdorff. HenceThis quotient is a fiber bundle. Near the last standard unit vector, project the other standard vectors by $I-v{v}^{\ast }$ onto $v^{\perp }$ and apply Gram-Schmidt orthogonalization; their independence persists in a small neighborhood. The resulting orthonormal columns together with $v$ give a continuous local section. Translating these sections covers the sphere and trivializes the projection, so it is a Serre fibration.

Apply this to $U(n)\to U(n+1)\to S^{2n+1}$. Its homotopy sequence containsFor $i\le 2n-1$, both outer groups vanish by cellular approximation theorem. Thus ${\pi }_i(U(n))\cong {\pi }_i(U(n+1))$ in the stated range. The component assertion also holds: diagonalizing a unitary matrix and varying its eigenvalue phases continuously connects it to the identity. This establishes the unitary sphere quotient and stability range.

Interpret the connectivity hypothesis in its usual based sense: $X$ is $(n-2)$-connected, with $n\ge 2$ for the nontrivial suspension range. Form the suspension as two cones $C_{-}X$ and $C_{+}X$ meeting in $X$. Both cones are contractible. Their relative homotopy sequences give ${\pi }_j(C_{\pm }X,X)\cong {\pi }_{j-1}(X)$ in the relevant degrees, so both cone pairs are $(n-1)$-connected.

The homotopy excision theorem says that if two CW pairs meeting in a connected subcomplex are $p$- and $q$-connected, $p,q\ge 1$, the map from the first relative pair to the union relative to the second part is an isomorphism in degrees $i<p+q$ and a surjection in degree $p+q$. Here $p=q=n-1$, givingas an isomorphism for $i<2n-2$ and a surjection for $i=2n-2$. Contractibility identifies the domain with ${\pi }_{i-1}(X)$ and the target with ${\pi }_i(\Sigma X)$. The comparison under these identifications is the suspension map: a sphere representative is coned in each half and the two cones give its suspended sphere representative. Hence the Freudenthal suspension from two cones provesFor connected CW complexes, reduced and unreduced suspension have the same based homotopy type, so either standard suspension convention gives this result. In the low-dimensional range, pointed sets are used where necessary; the displayed positive-degree homomorphism assertion concerns the usual groups.

For $S^r$ with $r\ge 2$, cellular approximation makes every sphere map of degree below $r$ null-homotopic: it can be homotoped into the point skeleton of the CW structure having cells only in degrees zero and $r$. The Hurewicz theorem therefore identifies its first possible nonzero homotopy group with homology. Its cellular chain complex gives $H_r(S^r;\mathbb{Z})=\mathbb{Z}$. For $r=1$, lifting a based loop to the universal cover $\mathbb{R}\to S^1$ classifies it by an integer endpoint displacement, so ${\pi }_1(S^1)=\mathbb{Z}$; the degree-one Hurewicz map is abelianization and is an isomorphism here. ThusAlternatively, after the $r=2$ Hurewicz base case, the suspension isomorphisms above propagate the generator to every higher sphere.

Work in the based CW homotopy category. A homotopy-invariant functor depends on a map only through its based homotopy class. In a sequence of pointed sets, exactness at the middle means that the preceding image equals the inverse image of the distinguished point; it does not imply injectivity or surjectivity at the ends. For groups this is the familiar image-equals-kernel condition. A half-exact functor preserves such middle exactness on the appropriate elementary sequence.

For a contravariant functor $F$, the relevant elementary sequence is a cofibration $A\hookrightarrow X\to X/A$. Half-exactness isexact at $F(X)$. One should not silently turn this into a short exact sequence. In particular, arbitrary group actions and pointed sets at low degrees are not interchangeable with abelian groups.

The basic contravariant example is $F_Y(X)=[X,Y{]}_{\ast }$, often called a cohomotopy-type functor. Suppose a map $f:X\to Y$ becomes null-homotopic on $A$. A chosen null-homotopy extends it over the cone attached to $A$, giving a map from the topological mapping cone to $Y$. Conversely every such extension restricts to a null-homotopic map on $A$. Since the topological mapping cone of a subcomplex inclusion models $X/A$, this proves half-exactness, rather than merely asserting it.

Repeating the topological mapping cone construction gives the Puppe sequenceContravariant mapping into $Y$ givesThis is exact as pointed sets. An H-group structure on $Y$, for example a loop space with path concatenation, provides group structures; repeated looping gives abelian group structures in the usual ranges. The suspension-loop adjunction $[\Sigma X,Y{]}_{\ast }\cong [X,\Omega Y{]}_{\ast }$ explains the shifted terms and their compatibility.

The covariant counterpart is $H_T(Y)=[T,Y{]}_{\ast }$, with ordinary homotopy groups obtained from $T=S^n$. Its natural elementary sequence is a homotopy fiber sequence $F\to E\to B$, not an arbitrary cofibration. A map $a:T\to E$ whose composite to $B$ is null-homotopic, together with that null-homotopy, determines a map into the homotopy fibre. Conversely a fibre map projects to such a null composite. This proves exactness of $[T,F{]}_{\ast }\to [T,E{]}_{\ast }\to [T,B{]}_{\ast }$ at the middle. Adding the loop terms produces the homotopy long exact sequence. For a Serre fibration, its ordinary fibre supplies the same homotopy information.

This variance distinction matters. Include one circle, generated by $a$, in $S^1\vee S^1$, with other generator $b$. The quotient is the second circle. The kernel of ${\pi }_1(S^1\vee S^1)\to {\pi }_1(S^1)$ is the normal closure of $a$, which contains $ba{b}^{-1}$. The image of the included circle is only the cyclic subgroup generated by $a$, and does not contain that reduced word. Thus covariant ${\pi }_1$ is not half-exact on this cofibration. Fibre and cofibre statements cannot be swapped just by reversing notation.

Reduced cohomology gives group-valued contravariant examples. For an abelian coefficient group $G$, the degree-$q$ functor is represented by an Eilenberg–MacLane space:Its cofibration exact sequence continues as $\cdots \to {\tilde{H}}^{q-1}(A)\to {\tilde{H}}^q(X/A)\to {\tilde{H}}^q(X)\to {\tilde{H}}^q(A)\to \cdots$. Ordinary homotopy groups are instead covariant, with decreasing group degree across a fibre connecting map. These are the two complementary representable patterns, maps out of a test object and maps into a representing object.

Brown's representability theorem makes the contravariant pattern structural. A reduced contravariant homotopy functor on based CW complexes is represented by a CW complex if it converts arbitrary wedges to products and satisfies the Mayer-Vietoris weak-pullback gluing axiom. The latter says that compatible classes on two subcomplexes extend to their union. It contains more information than the single kernel statement of half-exactness. Consequently half-exactness alone is not a representability criterion. In a representing functor these axioms are natural: a map on a wedge is a family of based maps, while compatible maps on an intersection can be adjusted by a homotopy and glued across a homotopy pushout.

A reduced generalized cohomology theory with the usual wedge axiom supplies these axioms degree by degree. Its representing spaces $E_q$ have $E_q\simeq \Omega E_{q+1}$ by suspension compatibility, assembling an Omega-spectrum. Thus generalized cohomology can be expressed as $E^q(X)=[{\Sigma }^{\infty }X,{\Sigma }^{q}E{]}_{\mathrm{st}}$, while represented homology is $E_q(X)={\pi }_q(E\wedge {\Sigma }^{\infty }X)$. The appearance of mapping into a spectrum in one case and smashing with it in the other is another form of the same variance distinction.

There is a literal duality after stabilization and a finiteness restriction. Here a finite based CW complex is identified with its suspension spectrum. For a finite spectrum $X$, let $DX=F(X,\mathbb{S})$ be its Spanier-Whitehead dual. Then $D^{2}X\simeq X$ and $[X,Y{]}_{\mathrm{st}}\cong [DY,DX{]}_{\mathrm{st}}$ for finite spectra. Duality reverses a cofibre triangle into a fibre triangle. In particular,This turns a cohomology calculation on a finite object into a homology calculation on its dual, and vice versa. It is Spanier-Whitehead duality, not a claim that the full category of ordinary spaces is self-dual.

Half-exactness is the local image–kernel property; fibres and cofibres, representability, and finite stable duality explain how that property organizes homotopy and cohomology. The distinctions between variance, pointed sets and groups, and finite stable objects and arbitrary spaces are essential to using the duality correctly.

A Serre fibration has the homotopy lifting property for disks: for every $k\ge 0$, a map $D^k\to E$ and a homotopy $D^k\times I\to B$ starting at its composite with $p:E\to B$ admit a compatible lift $D^k\times I\to E$. Equivalently, it has that lifting property for CW complexes. Relative lifting for CW pairs follows by attaching cells.

Let $i:F\hookrightarrow E$ be the inclusion of the chosen fiber. The long exact sequence of homotopy groups of a fibration isIts low-dimensional end isThe maps $i_{\ast }$ and $p_{\ast }$ are induced by inclusion and projection on based maps; at degree zero they send a path component to its containing or image component. The last part is an exact sequence of pointed sets, not in general a sequence of groups.

For $\partial :{\pi }_q(B)\to {\pi }_{q-1}(F)$, represent a class by a based cube $a:I^{q-1}\times I\to B$, constant at $b_0$ on its boundary. Lift it from the constant map $e_0$ on the bottom and side faces, using relative disk lifting. Its top face lands in $F$ and is constant on that face's boundary; its class is $\partial [a]$. The choice of lifts does not change the resulting class. For $q=1$, lift a based loop starting at $e_0$ and take the path component of its endpoint in $F$. This fixes the boundary-map convention and defines every map in the displayed sequence.

For the splitting assertion, first take $n\ge 1$. We use the cohomological Serre spectral sequence with coefficient group $G$:Since $B$ is simply connected, these coefficient systems are constant. The Eilenberg–MacLane space $F=K(G,n)$ has $H^t(F;G)=0$ for $0<t<n$, andFor $n=1$ this uses $H_1(F)=G$, with $G$ abelian; for $n>1$ it follows from the Hurewicz theorem and the universal coefficient theorem for cohomology. Let $u$ correspond to ${\mathrm{id}}_G$, the universal cohomology class of an Eilenberg–MacLane space.

In bidegree $(0,n)$ there are no incoming differentials. For $2\le r\le n$, an outgoing differential lands in a vanishing fiber-cohomology row. The only remaining possible differential isThus $u$ survives. The edge map, which is restriction to $F$, supplies a classBy representability of cohomology by Eilenberg–MacLane spaces, choose a based map $q:E\to K(G,n)$ representing $c$. On $F$, $q$ induces the identity on ${\pi }_n=G$ and is an isomorphism on every homotopy group, since the other positive groups vanish.

Consider $h=(p,q):E\to B\times K(G,n)$. This is a map of fibrations over $B$, whose map on the fiber is the weak equivalence just obtained. The map on the base is the identity. Comparing the two instances of the long exact sequence of homotopy groups of a fibration and applying exactness, or the Five lemma in the group-valued range, shows that $h$ induces all homotopy isomorphisms. The spaces are path-connected because the base and fiber are. Hence the splitting of a simply connected Eilenberg–MacLane fibration givesThe crucial use of $H^{n+1}(B;G)=0$ is to lift the fiber's identity class; existence of a section alone was not assumed to prove a product splitting.

If $K(G,0)$ is allowed, its components have trivial positive homotopy groups. The simply connected base has no monodromy on this discrete set. Obstruction theory on the CW base gives a section in each fiber component, since all positive-dimensional fiber obstructions vanish and the component system is constant. Together these sections give $B\times G\to E$, a weak equivalence on each component. Thus the same conclusion also covers that interpretation.

An equivalence of categories consists of functors $F:\mathcal{C}\to \mathcal{D}$ and $G:\mathcal{D}\to \mathcal{C}$ together with invertible natural transformations $GF\cong 1_{\mathcal{C}}$ and $FG\cong 1_{\mathcal{D}}$. A strict isomorphism of categories instead requires a functor with an inverse whose composites are literally identity functors.

First suppose $F$ belongs to an equivalence of categories. The isomorphisms $FGD\cong D$ give essential surjectivity. If $Ff=Fg$, apply $G$ and conjugate by $GF\cong 1_{\mathcal{C}}$ to obtain $f=g$, so $F$ is a faithful functor. Similarly $G$ is a faithful functor. Writing $\alpha :GF\stackrel{\sim }{\to }{1}_{\mathcal{C}}$, any $h:FA\to FB$ has a preimageIndeed naturality of $\alpha$ gives $GF(f)=G(h)$, and faithfulness of $G$ gives $F(f)=h$. Thus $F$ is a full and faithful functor.

Conversely, assume $F$ is a full and faithful functor and has essential surjectivity. Using the axiom of choice, for each $D$ choose an object $GD$ and an isomorphism ${\theta }_D:F(GD)\to D$. Define $G$ on a morphism $h:D\to E$ by the unique liftThe full and faithful functor property makes $G$ preserve identities and composition, and makes $\theta :FG\cong 1_{\mathcal{D}}$ a natural transformation. For $A\in \mathcal{C}$, lift ${\theta }_{FA}:FGFA\to FA$ uniquely to ${\alpha }_A:GFA\to A$. Lifting its inverse shows that ${\alpha }_A$ is invertible. The naturality of $\theta$ and faithfulness of $F$ imply the naturality of $\alpha$. This provesFor large categories, this choice argument is understood in a fixed universe, or with the corresponding class-choice convention; ordinary set-sized axiom of choice suffices for small categories.

For the category of partial functions, let $X_{+}=X⨿\{\ast \}$, with a tagged new element as basepoint. Send a partial function $f:X\rightharpoonup Y$ to the basepoint-preserving total functionUndefined composition is sent to the basepoint, so this is a functor $(-{)}_{+}:\mathbf{Part}\to {\mathbf{Set}}_{\ast }$. Restriction away from the basepoint recovers each partial function uniquely; hence it is a full and faithful functor. Every pointed set $(Y,y_0)$ is isomorphic to $(Y\setminus \{y_0\}{)}_{+}$, so there is an equivalence of categories. This particular equivalence can also be constructed explicitly, without choice, by deleting and adjoining the basepoint.

These actual categories are equivalent but not isomorphic. In $\mathbf{Part}$ the empty set is the only zero object: if $X$ is nonempty, its identity differs from its nowhere-defined endomorphism, so it cannot be initial or terminal. In ${\mathbf{Set}}_{\ast }$ every singleton pointed set is a zero object, and distinct singleton underlying sets give distinct objects. An isomorphism of categories is a bijection on objects preserving zero objects; it cannot take one such object onto several. This uses the categories of all actual sets, as in the paper, rather than chosen skeletal categories of representatives.

A skeletal category has no distinct isomorphic objects. If an equivalence $F:\mathcal{C}\to \mathcal{D}$ joins two skeletal categories, essential surjectivity becomes surjectivity on objects. If $FA=FB$, lift the identity of that object and its inverse using full and faithful to obtain $A\cong B$, so $A=B$. Thus $F$ is bijective on objects and on every hom-set. Its inverse on objects and morphisms is a strictly inverse functor, proving that it is an isomorphism of categories.

Under the axiom of choice, choose one object from each isomorphism class of a small category. The full subcategory on those objects is a skeleton of a category, and its inclusion is a full and faithful functor with essential surjectivity, hence an equivalence of categories.

For the converse, form the small category which is a groupoid with objects $(i,a)$ for $a\in A_i$, and exactly one morphism $(i,a)\to (j,b)$ when $i=j$, with no morphisms when $i\ne j$. Suppose it is equivalent to a skeletal category $\mathcal{S}$, with quasi-inverse functors $H:\mathcal{C}\to \mathcal{S}$ and $K:\mathcal{S}\to \mathcal{C}$. For each $i$, the objects $H(i,a)$ for $a\in A_i$ are isomorphic, hence all equal to a uniquely determined $s_i$. The isomorphism $KH(i,a)\cong (i,a)$ ensures that $K(s_i)=(i,a_i)$ for some $a_i\in A_i$. The rule $i\mapsto a_i$ is a choice function. In particular, no representative in $A_i$ had to be chosen to define $s_i$, since it is unique. Consequently

Successive mapping cones of a based map give this sequence up to homotopy. Applying based maps into a space gives an exact sequence of pointed sets in the opposite direction. The exactness statement at $[X,Y]$ says that a map whose restriction to $A$ is null-homotopic extends over $C_i$ using the chosen null-homotopy.

For a based Serre fibration with fibre $F$ over the basepoint, lift a based cube in $B$ from its constant bottom face, keeping the side faces fixed. Its final face lies in $F$, giving surjectivity of the relative map. Homotopies in $B$ lift; two lifts of the same cube are relatively homotopic by lifting with both side liftings prescribed. This gives injectivity. For $n\ge 2$ this is a group isomorphism; at $n=1$ it is initially a bijection of pointed sets, unless the relative set is endowed with the group law transported through the fibration.