Si, para cada objeto "X" en "C", el morfismo η es un isomorfismo en "D", entonces η se dice un isomorfismo natural (o a veces una equivalencia natural o isomorfismo de funtores).