A union is a join of subsets or (more generally) subobjects.
This includes the traditional set-theoretic union of subsets of some ambient set; unions of completely arbitrary sets (unlike disjoint unions) are considered evil.
A coherent category is one having well-behaved unions of subobjects.