Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $C$ is a cocomplete category with initial object $I$ and terminal object $T\neq I$.

The forgetful functor $U:T/C\to C$ does not preserve colimits, because the empty colimit in the under category $T/C$ is its initial object $T$ and the empty colimit in $C$ is $I$.

My impression is that these are ''the only'' non-preserved colimits. Is this true? If not, does $U$ at least preserve pushouts?

share|cite|improve this question
Welcome to Mathematics Se @f31 – magma Nov 11 '12 at 18:40
up vote 4 down vote accepted

The dual claim is well-known: if $\mathcal{C}$ is a category and $X$ is any object in $\mathcal{C}$, then the forgetful functor from the slice category $(\mathcal{C} \downarrow X)$ to $\mathcal{C}$ preserves limits of all connected diagrams. Thus, the forgetful functor from the coslice category $(X \downarrow \mathcal{C})$ to $\mathcal{C}$ preserves colimits of all connected diagrams. The easiest way to see this is to check that wide pushouts and coequalisers are preserved.

In general the forgetful functor $(X \downarrow \mathcal{C}) \to \mathcal{C}$ will not preserve colimits of non-connected diagrams. For example, binary coproducts in $(X \downarrow \mathcal{C})$ will correspond to pushouts in $\mathcal{C}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.