Абелева категорія. Кодобуток виділених трикутників. Телескоп в триангульованій категорії. Телескоп відображень в топології. Гомотопійна кограниця. Адитивність гомотопійної кограниці. Гомотопійна кограниця послідовності тотожних морфізмів. Гомотопійна кограниця послідовності нульових морфізмів. Розщеплюваність ідемпотентів.