(Milewski) Теорема Фрейда о сопряженном функторе

Перевод статьи Бартоша Милевски «Freyd Adjoint Functor Theorem» (исходный текст расположен по адресу — Текст оригинальной статьи).

Содержимое перевода статьи включает:

  • краткое напоминание о сопряжениях
  • обсуждение проблем с размером категорий
  • связь левых сопряженных с категорий запятой
  • особенности построения предела
  • рассмотрение конца для категории запятой (непросто однозначно и корректно перевести подзаголовок End of a comma category без комментариев)
  • описание условия семейства решения
  • формулировку и замечания к доказательству теоремы Фрейда

Оставьте комментарий