In mathematics, the Gabriel–Popescu theorem is an embedding theorem for certain abelian categories, introduced by Pierre Gabriel and Nicolae Popescu (). It characterizes certain abelian categories (the Grothendieck categories) as quotients of module categories. There are several generalizations and variations of the Gabriel–Popescu theorem, given by (for an AB5 category with a set of generators), , (for triangulated categories).