Operations With Natural Transformations
If η : F → G and ε : G → H are natural transformations between functors F,G,H : C → D, then we can compose them to get a natural transformation εη : F → H. This is done componentwise: (εη)X = εXηX. This "vertical composition" of natural transformation is associative and has an identity, and allows one to consider the collection of all functors C → D itself as a category (see below under Functor categories).
Natural transformations also have a "horizontal composition". If η : F → G is a natural transformation between functors F,G : C → D and ε : J → K is a natural transformation between functors J,K : D → E, then the composition of functors allows a composition of natural transformations ηε : JF → KG. This operation is also associative with identity, and the identity coincides with that for vertical composition. The two operations are related by an identity which exchanges vertical composition with horizontal composition.
If η : F → G is a natural transformation between functors F,G : C → D, and H : D → E is another functor, then we can form the natural transformation Hη : HF → HG by defining
If on the other hand K : B → C is a functor, the natural transformation ηK : FK → GK is defined by
Read more about this topic: Natural Transformation
Famous quotes containing the words operations and/or natural:
“You can’t have operations without screams. Pain and the knife—they’re inseparable.”
—Jean Scott Rogers. Robert Day. Mr. Blount (Frank Pettingell)
“The natural historian is not a fisherman who prays for cloudy days and good luck merely; but as fishing has been styled “a contemplative man’s recreation,” introducing him profitably to woods and water, so the fruit of the naturalist’s observations is not in new genera or species, but in new contemplations still, and science is only a more contemplative man’s recreation.”
—Henry David Thoreau (1817–1862)