natural transformation

transformation between two functors studied in category theory