Tag Archives: functors

Commutative Algebra 48

Posted on May 6, 2020 by limsup

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

Posted on April 8, 2020 by limsup

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

Posted on April 7, 2020 by limsup

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

Posted on April 5, 2020 by limsup

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