The Gabriel–Popescu theorem is a result in the field of category theory, particularly in the study of module categories and ring theory. It provides a characterization of when a category of modules can be represented as the module category over a certain ring.