When does Hom functor commutes with direct sum in the second slot
112577
$\hom (M, \coprod_i N_i) \cong \bigoplus_i \hom (M, N_i)$ in abelian categories when $M$ is simple?
117131
Canonical Isomorphism Between $\mathbf{V}$ and $(\mathbf{V}^*)^*$
83109
Formation of the free group on $S$ is a functor
24126
When functions commute under composition
69384
Are the following modules free and/or isomorphic?
127000
When does $V = \ker(f) \oplus \operatorname{im}(f)$?
118612
Neutral element in $\hom_C(A, B)$
87750
Hom / tensor adjunction for $O_X$ modules?
74259
Why is the localization of a commutative Noetherian ring still Noetherian?
18415
Direct sum of Abelian groups and Isomorphism
131946
Order of an Element Under a Homomorphism
92314
When does function composition commute?
50114
A question about direct sums and products of modules
80211
Annihilator of quotient module M/IM
92717
Mapping a pure function with multiple slots
52484
Sum of two Dedekind cuts is well-defined
86748
Isomorphism of hom sets implies objects are isomorphic