Библиогр.: с. 157 (19 назв.)

Категория является самым загадочным и, возможно, самым интересным разделом алгебры. Здесь нет привычных множественных объектов и, следовательно, свойств, выражаемых внутренними отношениями. Соответственно этому и возможности языка морфизмов ограничены, что, конечно, не явилось преградой для создания классической теории категорий. Однако имеется известный предел.Но оказывается можно придать внутреннее содержание, структуру морфизму и, соответственно, определять его качество через количество, строить теорию категорий параллельно теории универсальных алгебр, теории расширений и произведений классов на однородном универсальном языке морфизмов