Skip to main content
edited body
Source Link
Nik Weaver
  • 42.8k
  • 3
  • 112
  • 213

Are inclusions in some way better than arbitrary injections? Are maps to sets of equivalence classes somehow better than arbitrary quotients?

This is a simple-minded answer, but I would say yes because there is a proper class of distinct injections into $Y$ --- the injecting set $X$ can live anywhere in the set-theoretic universe --- whereas inclusions into $Y$ are effectively just subsets of $Y$. Under the natural notion of equivalence for injections, distinct subsets give inequivalent injections, so you could say that going from injections to inclusions is a matter of selecting one distinguished, canonical element from each equivalence class of injections.

I would say that the inclusionsinjections into $Y$ are classified by the subsets of $Y$, and similarly the quotients of $X$ are classified by the equivalence relations on $X$.

Are inclusions in some way better than arbitrary injections? Are maps to sets of equivalence classes somehow better than arbitrary quotients?

This is a simple-minded answer, but I would say yes because there is a proper class of distinct injections into $Y$ --- the injecting set $X$ can live anywhere in the set-theoretic universe --- whereas inclusions into $Y$ are effectively just subsets of $Y$. Under the natural notion of equivalence for injections, distinct subsets give inequivalent injections, so you could say that going from injections to inclusions is a matter of selecting one distinguished, canonical element from each equivalence class of injections.

I would say that the inclusions into $Y$ are classified by the subsets of $Y$, and similarly the quotients of $X$ are classified by the equivalence relations on $X$.

Are inclusions in some way better than arbitrary injections? Are maps to sets of equivalence classes somehow better than arbitrary quotients?

This is a simple-minded answer, but I would say yes because there is a proper class of distinct injections into $Y$ --- the injecting set $X$ can live anywhere in the set-theoretic universe --- whereas inclusions into $Y$ are effectively just subsets of $Y$. Under the natural notion of equivalence for injections, distinct subsets give inequivalent injections, so you could say that going from injections to inclusions is a matter of selecting one distinguished, canonical element from each equivalence class of injections.

I would say that the injections into $Y$ are classified by the subsets of $Y$, and similarly the quotients of $X$ are classified by the equivalence relations on $X$.

Source Link
Nik Weaver
  • 42.8k
  • 3
  • 112
  • 213

Are inclusions in some way better than arbitrary injections? Are maps to sets of equivalence classes somehow better than arbitrary quotients?

This is a simple-minded answer, but I would say yes because there is a proper class of distinct injections into $Y$ --- the injecting set $X$ can live anywhere in the set-theoretic universe --- whereas inclusions into $Y$ are effectively just subsets of $Y$. Under the natural notion of equivalence for injections, distinct subsets give inequivalent injections, so you could say that going from injections to inclusions is a matter of selecting one distinguished, canonical element from each equivalence class of injections.

I would say that the inclusions into $Y$ are classified by the subsets of $Y$, and similarly the quotients of $X$ are classified by the equivalence relations on $X$.