Frobenius category

In category theory, a branch of mathematics, a Frobenius category is an exact category in which the notions of injective objects and projective objects coincide and there are enough injectives (or equivalently enough projectives). It is an analog of a Frobenius algebra.