Без заголовка

Теория категорий и место, откуда оно появилось (гомотопическая и гомологическая алгебра) детектед. Дальше можно обсуждать, насколько это перебор )))