Зворотні системи. Непорожність границі системи Мітага--Лефлера. Система Мітага--Лефлера і коротка точна послідовність границь. Правий похідний функтор. F-ін'єктивна підкатегорія. Існування правого похідного функтора. Гомотопійна границя.