Ликбез
Дочитал книжку "Categories and functors" автор Bodo Pareigis, университет Мюнхена, 1970 год. К достоинствам книги следует отнести (в продолжение старого разговора с avva@lj) то, что в ней явно оговаривается использование аксиоматики Гёделя-Бернайса и используемый вариант аксиомы выбора. Читается кника достаточно тяжело. Так, в третьей главе, где излагается универсальная теория алгебраических структур, читателю предоставляется самому угадать смысл описываемых формальных построений. (После того, как это ему удалось, построения делаются гораздо понятнее.)