-
Recent Posts
Archives
- March 2023
- January 2023
- May 2020
- April 2020
- March 2020
- June 2018
- July 2016
- June 2016
- May 2016
- March 2015
- February 2015
- January 2015
- December 2014
- December 2013
- November 2013
- July 2013
- June 2013
- May 2013
- March 2013
- February 2013
- January 2013
- December 2012
- November 2012
- October 2012
- September 2012
- August 2012
- April 2012
- March 2012
- February 2012
- January 2012
- December 2011
- November 2011
- October 2011
Categories
Meta
Pages
Tag Archives: hom functor
Commutative Algebra 50
Adjoint Functors Adjoint functors are a general construct often used for describing universal properties (among other things). Take two categories and . Definition. Covariant functors and are said to be adjoint if we have isomorphisms which are natural in A and … Continue reading
Posted in Advanced Algebra
Tagged adjoint functors, category theory, colimits, hom functor, left-exact, limits, right-exact, tensor products, universal properties
2 Comments
Commutative Algebra 33
Snake Lemma Let us introduce a useful tool for computing kernels and cokernels in a complicated diagram of modules. Although it is only marginally useful for now, it will become a major tool in homological algebra. Snake Lemma. Suppose we … Continue reading
Commutative Algebra 29
Distributivity Finally, tensor product is distributive over arbitrary direct sums. Proposition 1. Given any family of modules , we have: Proof Take the map which takes . Note that this is well-defined: since only finitely many are non-zero, only finitely … Continue reading
Posted in Advanced Algebra
Tagged hom functor, induced modules, localization, right-exact, tensor products, yoneda lemma
2 Comments
Commutative Algebra 26
Left-Exact Functors We saw (in theorem 1 here) that the localization functor is exact, which gave us a whole slew of nice properties, including preservation of submodules, quotient modules, finite intersection/sum, etc. However, exactness is often too much to ask … Continue reading
Posted in Advanced Algebra
Tagged additive functors, hom functor, induced modules, left-exact, right-exact
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 category theory, coproducts, functors, hom functor, natural transformations, products, yoneda lemma
4 Comments
Tensor Product over Noncommutative Rings
Following the earlier article on tensor products of vector spaces, we will now look at tensor products of modules over a ring R, not necessarily commutative. It turns out we have to distinguish between left and right modules now. Indeed recall … Continue reading
Posted in Notes
Tagged bimodules, hom functor, left-exact, modules, right-exact, tensor products
Leave a comment
Hom Functor
Fret not if you’re unfamiliar with the term functor; it’s a concept in category theory we will use implicitly without delving into the specific definition. This topic is, unfortunately, a little on the dry side but it’s a necessary evil to get … Continue reading
Posted in Notes
Tagged bimodules, hom functor, left modules, left-exact, modules, right modules
Leave a comment
Mathematics and Such 