The tensor embedding for a Grothendieck cosmos