Обратный предел

• Обратный предел — это предел обратного отображения между двумя категориями. 
• Обратный предел может быть определен для абелевых категорий с достаточным количеством инъективов. 
• Условие Миттага-Леффлера используется для проверки выполнения условия Миттага-Леффлера в обратных системах абелевых групп. 
• Примеры ситуаций, в которых выполняется условие Миттага-Леффлера, включают системы с сюръективными морфизмами перехода. 
• Роос обобщил функтор lim1 на AbI, получив ряд функторов limn. 
• Барри Митчелл показал, что Rnlim равен нулю для некоторых диаграмм с индексом I. 
• Обратные ограничения и прямые ограничения являются классами ограничений и коллимитов в теории категорий.