Skip to main content

The following does't give an example as required, but eliminates some candidates. If $\scr A$ is an additive (not necessary abelian) category which is complete, well powered and has a cogenerator then $\scr A$ has coproducts. Indeed, $\scr A$ satisfies the hypotheses of Fred's Special Adjoint Functor Theorem (see Adamek Rosicky, Locally Presentable and Accessible Categories, Section 0.7). Thus every functor which preserves limits is a right adjoint. Let $X_i\in\scr A$, $i\in I$ be a set of objects. The functor $F=\prod_{i\in I}{\scr A}(X_i,-):{\scr A}\to\{\mathfrak A\mathfrak b}$$F=\prod_{i\in I} \scr {A}(X_i,-):{\scr A}\to \mathfrak {A}\mathfrak{b}$ preserves limits, so it has a left adjoint $G$. Straightforwardly $F$ is represented by the object $G(\mathbb Z)$ which has to be isomorphic to $\coprod_{i\in I}X_i$. The same is also true if we work with non-additive categories, but replacing the category of abelian groups with the category of sets.

In conclusion, if $\scr A$ has in addition push-outs (or equivalently coequalizers) then $\scr A$ is cocomplete. Note that an abelian category has always cokernels, therefore coequalizers.

The following does't give an example as required, but eliminates some candidates. If $\scr A$ is an additive (not necessary abelian) category which is complete, well powered and has a cogenerator then $\scr A$ has coproducts. Indeed, $\scr A$ satisfies the hypotheses of Fred's Special Adjoint Functor Theorem (see Adamek Rosicky, Locally Presentable and Accessible Categories, Section 0.7). Thus every functor which preserves limits is a right adjoint. Let $X_i\in\scr A$, $i\in I$ be a set of objects. The functor $F=\prod_{i\in I}{\scr A}(X_i,-):{\scr A}\to\{\mathfrak A\mathfrak b}$ preserves limits, so it has a left adjoint $G$. Straightforwardly $F$ is represented by the object $G(\mathbb Z)$ which has to be isomorphic to $\coprod_{i\in I}X_i$. The same is also true if we work with non-additive categories, but replacing the category of abelian groups with the category of sets.

In conclusion, if $\scr A$ has in addition push-outs (or equivalently coequalizers) then $\scr A$ is cocomplete. Note that an abelian category has always cokernels, therefore coequalizers.

The following does't give an example as required, but eliminates some candidates. If $\scr A$ is an additive (not necessary abelian) category which is complete, well powered and has a cogenerator then $\scr A$ has coproducts. Indeed, $\scr A$ satisfies the hypotheses of Fred's Special Adjoint Functor Theorem (see Adamek Rosicky, Locally Presentable and Accessible Categories, Section 0.7). Thus every functor which preserves limits is a right adjoint. Let $X_i\in\scr A$, $i\in I$ be a set of objects. The functor $F=\prod_{i\in I} \scr {A}(X_i,-):{\scr A}\to \mathfrak {A}\mathfrak{b}$ preserves limits, so it has a left adjoint $G$. Straightforwardly $F$ is represented by the object $G(\mathbb Z)$ which has to be isomorphic to $\coprod_{i\in I}X_i$. The same is also true if we work with non-additive categories, but replacing the category of abelian groups with the category of sets.

In conclusion, if $\scr A$ has in addition push-outs (or equivalently coequalizers) then $\scr A$ is cocomplete. Note that an abelian category has always cokernels, therefore coequalizers.

Source Link

The following does't give an example as required, but eliminates some candidates. If $\scr A$ is an additive (not necessary abelian) category which is complete, well powered and has a cogenerator then $\scr A$ has coproducts. Indeed, $\scr A$ satisfies the hypotheses of Fred's Special Adjoint Functor Theorem (see Adamek Rosicky, Locally Presentable and Accessible Categories, Section 0.7). Thus every functor which preserves limits is a right adjoint. Let $X_i\in\scr A$, $i\in I$ be a set of objects. The functor $F=\prod_{i\in I}{\scr A}(X_i,-):{\scr A}\to\{\mathfrak A\mathfrak b}$ preserves limits, so it has a left adjoint $G$. Straightforwardly $F$ is represented by the object $G(\mathbb Z)$ which has to be isomorphic to $\coprod_{i\in I}X_i$. The same is also true if we work with non-additive categories, but replacing the category of abelian groups with the category of sets.

In conclusion, if $\scr A$ has in addition push-outs (or equivalently coequalizers) then $\scr A$ is cocomplete. Note that an abelian category has always cokernels, therefore coequalizers.