Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
indexed_union [2013/09/14 16:57] nikolaj |
indexed_union [2013/09/15 00:27] nikolaj |
||
---|---|---|---|
Line 6: | Line 6: | ||
==== Discussion ==== | ==== Discussion ==== | ||
+ | For $f=\mathrm{id}$, the set is indexing itself and the indexed union is just the arbitrary union $\bigcup_{i\in I} X_i = \bigcup X$. | ||
==== Parents ==== | ==== Parents ==== | ||
=== Refinement of === | === Refinement of === |