Tag Archives: natural transformations

Commutative Algebra 20

Yoneda Lemma For an object , define the covariant functor Proposition 1. Any morphism in gives us a natural transformation In summary, the natural transformation is obtained by right-composing with f. Proof Let be a morphism in . We need … Continue reading

Posted in Advanced Algebra | Tagged , , , , , , | 4 Comments

Commutative Algebra 19

Natural Transformations “I didn’t invent categories to study functors; I invented them to study natural transformations.” – Saunders Mac Lane, one of the founders of category theory A natural transformation is, loosely speaking, a homomorphism between functors. Its definition may … Continue reading

Posted in Advanced Algebra | Tagged , , , , | Leave a comment