de objetos en alguna categoría abeliana cuyo término medio B es proyectivo y cuyo primer mapa A → B es inyectivo y cuyo segundo mapa B → C es sobreyectivo . De manera equivalente, una mónada es un objeto proyectivo junto con una filtración de 3 pasos ( B ⊃ ker ( B → C ) ⊃ im ( A → B )). En la práctica A , B y Ca menudo son paquetes de vectores en algún espacio, y hay varias condiciones adicionales menores que algunos autores agregan a la definición. Las mónadas fueron introducidas por Horrocks ( 1964 , p.698).