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.
