Relations in a finitely complete category with images

97 Views Asked by At

I can't use tikz inside MathStackExchange; so my question is on an image below. enter image description here