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)
“A sociosphere of contact, control, persuasion and dissuasion, of exhibitions of inhibitions in massive or homeopathic doses...: this is obscenity. All structures turned inside out and exhibited, all operations rendered visible. In America this goes all the way from the bewildering network of aerial telephone and electric wires ... to the concrete multiplication of all the bodily functions in the home, the litany of ingredients on the tiniest can of food, the exhibition of income or IQ.”
—Jean Baudrillard (b. 1929)
“Doubtless, we are as slow to conceive of Paradise as of Heaven, of a perfect natural as of a perfect spiritual world. We see how past ages have loitered and erred. “Is perhaps our generation free from irrationality and error? Have we perhaps reached now the summit of human wisdom, and need no more to look out for mental or physical improvement?” Undoubtedly, we are never so visionary as to be prepared for what the next hour may bring forth.”
—Henry David Thoreau (1817–1862)