A grammar $𝐴$ is unambiguous if the unique map into the terminal object is a monomorphism. That is, $𝐴$ is a subobject of $\top$.