We shall need a further property of adjoint functors. These statements
are well-known and
can be extracted implicitly from the proof of [1]}.
For the convenience of the reader we provide a short proof.

Нам понадобится еще одно свойство сопряженных функторов. Эти утверждения известны и могут быть неявно извлечены из доказательства [1]. Для удобства читателя мы приводим краткое доказательство.