Hi, I know that if I have a monomorphism [itex]f:X\rightarrow Y [/itex] then for any arrows [itex]g,h:A \rightarrow X[/itex] we have [itex]f \circ g = f \circ h \; \Rightarrow \; g=h [/itex](adsbygoogle = window.adsbygoogle || []).push({});

However in a topological space, if I have [itex]f[/itex] to be an injection but now have [itex]f \circ g \simeq f \circ h[/itex] (where [itex]\simeq[/itex] denotes homotopic) then does this imply that [itex]g \simeq h[/itex]?

So my question is, is this true? If not what conditions would I require to make it true?

Thanks,

Tom

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Monomorphism cancellation property

**Physics Forums | Science Articles, Homework Help, Discussion**