Теорема Шрейера в нормальных категориях

Для достижимых подобъектов произвольного объекта нормальной категории доказывается лемма Цассенхауза, с помощью которой выводится теорема Шрейера о нормальных и инвариантных рядах подобъектов. Так как нормальная категория самодвойственна, то из полученных результатов следуют двойственные результаты о нормальных и инвариантных рядах фактор-объектов произвольного объекта нормальной категории.