Cryptic as it may sound, it holds because all definitions become trivially true for inclusion maps.
Let be a point in . My question is about the following short exact sequence:
where is the homomorphism induced by the obvious inclusion. I am told that is injective. Although this does make some sense intuitively, I can't really prove it. Can someone show me why it is?