Теорема Митчелла о вложении
- Теорема Митчелла о вложении — результат, касающийся абелевых категорий.
- Утверждает, что абелевы категории являются конкретными категориями модулей.
- Позволяет использовать поэлементную диаграмму для проверки доказательств в абелевых категориях.
- Названа в честь Барри Митчелла и Питера Фрейда.
- Точное утверждение: существует кольцо R и функтор F: A → R-Mod, обеспечивающие эквивалентность между A и полной подкатегорией R-Mod.
- Функтор F обеспечивает аддитивность эквивалентности.
- Объекты A можно рассматривать как R-модули, морфизмы — как R-линейные отображения.
- Проективные и инъективные объекты в A не обязательно соответствуют проективным и инъективным R-модулям.
Полный текст статьи: