a natural transformation is a relation between two functors abagabo babiri bareba undi urashaka kujyana nande kugira ngo umuyaga utatanye kubera ko ari umutungo