An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions.
En pil mellem to funktorer er en naturlig transformation underlagt bestemte naturligheds- og kommutativitetsrelationer.