En matemáticas, un funtor borrable es un funtor aditivo F entre las categorías abelianas C y D para el cual, para cada objeto A en C , existe un monomorfismo , para algún M , tal que . De manera similar, un funtor coborrable es uno para el cual, para cada A , existe un epimorfismo en A que es eliminado por F . Las nociones fueron introducidas en el artículo de Tohoku de Grothendieck .
Un teorema de Grothendieck dice que todo δ-funtor borrable (es decir, borrable en cada grado) es universal.
Referencias
- Hartshorne, Robin (1977), Geometría algebraica , Textos de posgrado en matemáticas , vol. 52, Nueva York: Springer-Verlag, ISBN 978-0-387-90244-9, Sr. 0463157
Enlaces externos
- Significado de “borrar” en “functor borrable” y “borramiento inyectivo”