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