1. Mitchell's embedding theorem states every abelian category arises as a full subcategory of the category of modules.

Согласно теореме Фрейда — Митчелла о вложении, любая абелева категория эквивалентна полной подкатегории категории модулей.