En la teoría de categorías , una rama de las matemáticas , una categoría de Frobenius es una categoría exacta con suficientes proyectivas e inyectivas, donde las clases de proyectivas e inyectivas coinciden. Es un análogo de un álgebra de Frobenius .