Todd Trimble
Nerve of opposite category

This note has to do with showing that the “classifying space” of a category, i.e., the geometric realization of the nerve of a category, is homeomorphic to that of the opposite category.

Let i:ΔCat be the full inclusion of finite nonempty ordinals into categories. The nerve functor N is the “restricted Yoneda embedding”

CatySet Cat opSet i opSet Δ op.Cat \stackrel{y}{\to} Set^{Cat^{op}} \stackrel{Set^{i^{op}}}{\to} Set^{\Delta^{op}}.

On Cat there is an involution given by taking opposite categories, and similarly there is an involution on Δ. Denote either involution by σ. There is an evident isomorphism

Cat N Set Δ op σ Set σ op Cat N Set Δ op,\array{ Cat & \stackrel{N}{\to} & Set^{\Delta^{op}} \\ ^\mathllap{\sigma} \downarrow & \cong & \downarrow^\mathrlap{Set^{\sigma^{op}}} \\ Cat & \underset{N}{\to} & Set^{\Delta^{op}}, }

i.e., the nerve functor commutes with these involutions. The vertical arrow on the right takes a simplicial set X to Xσ; we may call this the opposite simplicial set.

Geometric realization is a functor

R:Set Δ opTopR: Set^{\Delta^{op}} \to Top

where Top is any convenient category of spaces, such as CGHaus, and R is defined by a coend or tensor product

R(X)= nX(n)Int([n],I).R(X) = \int^n X(n) \cdot Int([n], I).

In this formula, [n]Ob(Δ op) is regarded as an interval consisting of n+1 totally ordered elements, and I as a topological interval. The hom-object Int([n],I) is regarded as living in Top.

If σI is the interval I with reverse ordering, then there is a homeomorphism

Int([n],I)Int(σ[n],σI)Int([n], I) \cong Int(\sigma [n], \sigma I)

and there is also an interval homeomorphism IσI sending t to 1t. Thus we have

nX(n)Int([n],I) nX(n)Int(σ[n],σI) nX(n)Int(σ[n],I) nXσ(n)Int([n],I)\array{ \int^n X(n) \cdot Int([n], I) & \cong & \int^n X(n) \cdot Int(\sigma [n], \sigma I) \\ & \cong & \int^n X(n) \cdot Int(\sigma [n], I) \\ & \cong & \int^n X \sigma (n) \cdot Int([n], I) }

Hence the geometric realization of a simplicial set X is homeomorphic to the geometric realization of the opposite simplicial set. It follows that the classifying space of a category is homeomorphic to the classifying space of its opposite.

Revised on November 24, 2011 01:48:56 by Todd Trimble