Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 17 2 iii Solution Created 2026-10-03 Updated 2026-10-14
Use the preservation obstructions to extending an adjoint chain: a functor having a further left adjoint must preserve categorical limits, while one having a further right adjoint must preserve colimits.
At the left end of the presheaf category chain, does not preserve the terminal object. The terminal categorical presheaf has singleton value everywhere, whereas because . Thus cannot itself be a right adjoint. At the right end, does not preserve the initial object: since the empty open set is proper. Thus cannot itself be a left adjoint.
For the category of small categories chain, take two functors from the terminal category to the two-object indiscrete category , selecting its distinct objects. Their equalizer is the empty category. But their images under are the same function between singleton sets, whose equalizer is a singleton. Hence does not preserve equalizers and has no further left adjoint. Finally, is the two-object discrete category, while has arrows between its distinct objects. The canonical comparison is not an isomorphism of categories, so fails to preserve this coproduct and has no further right adjoint.
Neither chain extends in either direction.