Actually, there is an exact meaning, but it is not always used in that sense. For two functors F,G:A→B a natural transformation is a morphism of functors ...
確定! 回上一頁