Return to Question

I see the Todd Trimble article "Elementary Theory of the Category of Sets" on catlab.

I ask: how make (in the categorical setting) the usual union of a set $\cup X=${$y |\exists x\in X: y\in x$}?

This object is (strongly) no natural (no amenable to a functor and natural transformation).

I ask this because the "Union axiom" is one of the ZF theory of sets.

I see the Todd Trimble article "Elementary Theory of the Category of Sets" on catlab.

I ask: how make (in the categorical setting) the usual union of a set $\cup X=${$y |\exists x\in X: y\in x$}?

This object is (strongly) no natural (no amenable to a functor and natural transformation).

I ask this because the "Union axiom" is one of the ZF theory of sets.

I see the Todd Trimble article "Elementary Theory of the Category of Sets" on catlab.

I ask: how make (in the categorical setting) the usual union of a set $\cup X=${$y |\exists x\in X: y\in x$}?

This object is (strongly) no natural (no amenable to a functor and natural transformation).

I ask this because the "Union axiom" is one of the ZF theory of sets.

I see the Todd Trimble article "Elementary Theory of the Category of Sets" on catlab.

I ask: how make (in the categorical setting) the usual union of a set $\cup X=${$y |\exists x\in X: y\in x$}?

This object is (strongly) no natural (no amenable to a functor and natural transformation).

I ask this because the "Union axiom" is one of the ZF theory of sets.

I see the Todd Trimble article "Elementary Theory of the Category of Sets" on catlab.

I ask: how make (in the categorical setting) the usual union of a set $\cup X=${$y |\exists x\in X: y\in x$}, this object is (strongly) no natural (no amenable to a functor and natural transformation).

I ask this because the "Union axiom" is one of the ZF thery of sets.

I see the Todd Trimble article "Elementary Theory of the Category of Sets" on catlab.

I ask: how make (in the categorical setting) the usual union of a set $\cup X=${$y |\exists x\in X: y\in x$}?

This object is (strongly) no natural (no amenable to a functor and natural transformation).

I ask this because the "Union axiom" is one of the ZF theory of sets.