correction: unions of subsets are wide pushouts of the injections from the intersection of the subsets.
]]>coherent categories are only those categories having well-behaved finite unions of subobjects; the ones which have all well-behaved unions of subobjects are infintary coherent categories
]]>added definition in structural set theory of unions of subsets as wide pushouts of families of injections
]]>