Example image of eyePlorer eyePlorer map for 'Injective function': Codomain Function (mathematics) Mathematics Bijection Category theory Monomorphism Domain of a function Identity function Exponential function Surjective function Natural logarithm Real line Horizontal line test Section (category theory) Inverse function Multivalued function Inclusion map Category of sets Image (mathematics) Subset Cardinal number Up to Cantor–Bernstein–Schroeder theorem Finite set Embedding Homomorphism Bieberbach conjecture Bit-serial Cauchy matrix Factorization system Immersion (mathematics) Inversion transformation Kernel (algebra) One-parameter group Permutation polynomial Pseudonymization Radicial morphism Runge–Gross theorem Stone's theorem on one-parameter unitary groups Symmetric group Univalent function Ax–Grothendieck theorem Biholomorphism Bijection, injection and surjection Bloch's theorem (complex variables) Cardinal assignment Cardinality Collision problem Cylindric numbering Full and faithful functors