Smart answer:

Your search for What is the counterpart to injective maps returned the following results:

surjective maps

The counterpart to injective maps are surjective maps (every element of the target is mapped onto), such as the canonical map .

Source:

a map that designates a unique image for every element

An injective map also called “one-to-one” is a map that designates a unique image for every element.

Source:

the monomorphisms

The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphisms are the bijective maps.

Source:

g : :} A → P ( A ) {\displaystyle gA\to {\mathcal {P}}(A)} defined by x ↦ { x } {\displaystyle x\mapsto \{x\

On the other hand, g : A → P ( A ) {\displaystyle g:A\to {\mathcal {P}}(A)} defined by x ↦ { x } {\displaystyle x\mapsto \{x\}} is an injective map.

Source:

the kernel

the kernel is not just an injective map anymore.

Source:

val

; val injects = maps (#inject o Datatype.the_info thy1) dt_names; Const ('Nominal.fresh_star',

Source:

an element c

An M-regular element is an element c such that multiplication on the left by c is an injective map

to mono- and epimorphisms, respectively

Injective and surjective maps correspond to mono- and epimorphisms, respectively.

Source:

a complete set of invariants

Symbolically, a complete set of invariants is a collection of maps such that is injective.

Source: