Metadata
Author: WikiMatrix
Data
English[en]
The proof will still apply to any (small) abelian category because of Mitchell's embedding theorem, which states that any small abelian category can be represented as a category of modules over some ring.
Spanish[es]
La demostración se aplicaría a cualquier categoría abeliana debido al teorema del encaje de Mitchell, que afirma que cualquier categoría abeliana pequeña puede representarse como una categoría de módulos sobre cierto anillo.