Una transformación natural η: "F" → "G" es un isomorfismo natural si y solamente si existe una transformación natural ε: "G" → "F" tales que ηε = 1 y εη = 1 (donde 1: "F" → "F" es la transformación natural que asigna a cada objeto "X" el morfismo identidad en "F"("X")).