Punktfreie Definitionen: injektiv

• falls B, C Mengen:

  g : B→C heißt injektiv, wenn ∀x, y∈B : g(x) = g(y)⇒x = y.

• in beliebiger Kategorie:

  g : B→C heißt monomorph, (engl.: monic), wenn

  für alle f : A→B, f' : A'→B:

  aus fog = f'og folgt f = f'

Dualer Begriff (alle Pfeile umdrehen) ist epimorph (epic). Übung: was heißt das für Mengen?