Транзитивные алгеброиды Ли. Категорная точка зрения

В работе доказывается функториальность операции обратного образа для транзитивных алгеброидов Ли, а также функториальность всех объектов, необходимых для построения транзитивных алгеброидов Ли по Маккензи: расслоений $L$ конечномерных алгебр Ли, ковариантных связностей дериваций $\nabla$, ассоциированных дифференциальных двумерных форм $\Omega$ со значениями в расслоении $L$, каплингов и препятствий Маккензи. На основе полученной функториальности может быть построен финальный объект для структуры транзитивного предалгеброида Ли и универсального класса когомологий, индуцирующего препятствие Маккензи.