Injective objects in a category

51 Views Asked by At

Let $C$ be a category and $x\in$ Ob$(C)$. Assume that $I\in$ Ob$(C)$ is injective in $C$, and there are morphisms $f:x\rightarrow I,~ g:I\rightarrow x$ such that $gf =1_x$. Is it true that $x$ is injective as well? Is there any common conditions to force such a fact to be true? Thanks!

1

There are 1 best solutions below

1
On BEST ANSWER

I think so. Take a monomorphism $h: A\hookrightarrow B$ and any morphism $k: A\rightarrow x$. Then $fk$ factors through $h$ and postcomposing with $g$ gives the desired factorization of $k$.