Tag Archives: functors

Commutative Algebra 48

Introduction For the next few articles we are back to discussing category theory to develop even more concepts. First we will look at limits and colimits, which greatly generalize the concept of products and coproducts and cover loads of interesting … Continue reading

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

Commutative Algebra 21

Exact Sequences When studying homomorphisms of modules over a fixed ring, we often encounter sequences like this: where each is a homomorphism of modules. This sequence may terminate (on either end) or it may continue indefinitely. Note on indices: usually … Continue reading

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

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 18

Basics of Category Theory As we proceed, we should cover some rudimentary category theory or many of the subsequent constructions would seem unmotivated.┬áThe essence of category is in studying algebraic objects and the homomorphisms between them. By now we have … Continue reading

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