nLab
Inj

See also

InjInj (or Set injSet_inj) is the wide subcategory of the topos Set with its morphisms restricted to monomorphisms (injective functions).

See also

  • Surj?

Last revised on September 8, 2017 at 15:48:36. See the history of this page for a list of all contributions to it.