1
$\begingroup$

I have to use definition that morphism f is retraction of morphism g, but I don't know how to represent it. Any idea?

2 Answers 2