# Tagged Questions

108 views

### The Freyd-Mitchell Embedding Theorem and projective (injective) objects

Given a small abelian category $\mathcal{A}$, the Freyd-Mitchell Embedding Theorem gives me a fully faithful exact functor $F:\mathcal{A}\rightarrow R$-$\mathsf{Mod}$, for some unital ring $R$, so ...
38 views

### In an abelian category,every morphism can be written as composition of epi and mono.

Following Weibel's book on homological algebra, he states without proof that every morphism $f\colon A \to B$ can be written as composition of an epimorphism followed by a monomorphism. After many ...
41 views

### Additive, covariant functor commutes direct limits, then it commutes with direct sums?

Suppose $T:R-Mod \to R-Mod$ is an additive covariant functor that preserves direct limits. (R is commutative, unital. Noetherian if it suits you even). That is, if $(W_{\alpha})_{\alpha \in \Lambda}$ ...
87 views

474 views

### Derived functors of torsion functor

Let $A$ be a domain. For every $A$-module $M$ consider its torsion submodule $M^{tor}$ made up of elements of $M$ which are annihilated by a non zero-element of $A$. If $f \colon M \to N$ is a ...
241 views

### derived functors and acyclics

I'm not sure how I can show the following: If F is a left exact functor from an abelian category A to an abelian category B, whose derived functor RF in the sense of derived categories exists, then ...
670 views

### Arbitrary products of quasi-coherent sheaves?

I have a short question: Does the category of quasi-coherent sheaves on a scheme have arbitrary products? I know that it does if the scheme is affine and I know that they will not be isomorphic to ...
200 views

### kernel of cokernel is cokernel of kernel [duplicate]

Possible Duplicate: Equivalent conditions for a preabelian category to be abelian Let $\mathcal{C}$ be an abelian category, and consider an arrow $f:A\rightarrow B$. In a number of sources ...
1k views

### Hom is a left-exact functor

If $0 \to A \to B\to C$ is a left exact sequence of $R$-module, then for any $R$-module $M$, $0 \to Hom_R(M,A)\to Hom_R(M,B)\to Hom_R(M,C)$ is left exact. I proved the above, and highlighted what ...
289 views

### Example of relative Ext functor

Greetings, I've been reading Maclane's "Homology" and ran into the following question: Let $(R,S)$ be a resolvent pair of ring, i.e $R$ is an $S$-algebra and we have a functor \$\Psi \colon ...
1k views

### How to define Homology Functor in an arbitrary Abelian Category?

In the Category of Modules over a Ring, the i-th Homology of a Chain Complex is defined as the Quotient Ker d / Im d where d as usual denotes the differentials, indexes skipped for simplicity. How ...