Author: Guest Format: MarkdownItexadded definition in structural set theory of unions of subsets as wide pushouts of families of injections
<a href="https://ncatlab.org/nlab/revision/diff/union/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/union/13">v13</a>, <a href="https://ncatlab.org/nlab/show/union">current</a>
added definition in structural set theory of unions of subsets as wide pushouts of families of injections
Author: Guest Format: MarkdownItexcoherent 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
<a href="https://ncatlab.org/nlab/revision/diff/union/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/union/13">v13</a>, <a href="https://ncatlab.org/nlab/show/union">current</a>
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
Author: Guest Format: MarkdownItexcorrection: unions of subsets are wide pushouts of the injections from the intersection of the subsets.
<a href="https://ncatlab.org/nlab/revision/diff/union/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/union/13">v13</a>, <a href="https://ncatlab.org/nlab/show/union">current</a>
correction: unions of subsets are wide pushouts of the injections from the intersection of the subsets.