Set union in the category of sets Let $\mathrm{Set}$ be the category of all sets with morphisms being just functions between sets. For two sets $U,V$ there is the categorical notion of their coproduct which is just the disjoint union $U\sqcup V$ or alternatively it can be realised as a colimit. 
Is there a categorical description for $U\cup V$, the usual set union? What I mean is a description which does not refer to the elements of $U$ and $V$.

Yes. The union is the coproduct in the category of subsets of another set. You can construct it within the category of sets as a pushout, namely of the diagram $A\leftarrow A\cap B \to B$, which may or may not be satisfying since you can't define the intersection without elements any more easily than the union. But you shouldn't expect to be able to define the union without elements: categorically, there is no difference between sets of the same cardinality but with different elements, so you really have to specify some way in which you're going to identify elements. Writing both $A$ and $B$ as subsets of a fixed set, as a first mentioned, may be the best way to do that.
