Keywords: Natural transformation as a functor.svg of natural transformations A natural transformation sends each φ X †’Y to η_φ F X †’ G Y The usual definition corresponds to η_ id 2012-12-18 15 13 36 own Cédric AUGER cc-zero Uploaded with UploadWizard Commutative diagrams Commutative triangles |