Yoneda embedding detects split epimorphisms
ID: yoneda-embedding-detects-split-epimorphisms
For , the Yoneda embedding sends to postcomposition . If this is epic in the presheaf category, its component at is surjective, so for some . Conversely such a section makes the natural transformation split epic. Pointwise surjectivity follows directly by doubling the target presheaf along the image subpresheaf: the two inclusions agree on the image but differ on any element outside it.
New to topics? Read the docs here!