A map f : A → B : 𝑓 → 𝐴 𝐵 f:A\to B in an Infinity Topos is a surjection if it is Left Orthogonal to the class of Embeddings.