Функторы между структуризованными категориями

Пара $(\mathfrak K,P)$, состоящая из категории $\mathfrak K$ и унивалентного функтора $P$ из $\mathfrak K$ в категорию $\mathfrak U$, называется структуризованной категорией. Если $(\mathfrak K_1, P_1)$ и $(\mathfrak K_2,P_2)$ – две такие пары, то функтор $F\colon\mathfrak K_1\to\mathfrak K_2$ структуризован, если $FP_2=P_1$. Указаны условия, при которых всякий структуризованный функтор обладает левым сопряженным функтором.
Библиография: 15 названий.