An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions.
Ένα βέλος μεταξύ δύο functors είναι ένας φυσικός μετασχηματισμός όταν υπόκειται σε ορισμένους όρους naturality ή commutativity.