С фрагментами украинского новояза, libgen.

«Категории появились в 40-х годах 20-го века в работах С. Эйленберга и С. Маклейна по алгебраической топологии
и первоначально рассматривались в основном как удобный язык.»

«возникает естественный для математика вопрос: существует ли некоторая единая точка зрения на множества и векторные пространства
(и, может быть, на другие математические объекты), с которой можно дать общее определение “объединения” ...?
Таким обобщением и является понятие категории.»