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 with, 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)
“You can’t have operations without screams. Pain and the knife—they’re inseparable.”
—Jean Scott Rogers. Robert Day. Mr. Blount (Frank Pettingell)
“Is it reasonable that even the arts should take advantage of and profit by our natural stupidity and feebleness of mind?”
—Michel de Montaigne (1533–1592)