Аннотация:
В 1945 г. Эйленбергом и Маклейном было введено новое математическое понятие категории. Однако с самого начала своего возникновения теория категорий столкнулась с тем неприятным обстоятельством, что она не вмещалась не только в рамки теории множеств в аксиоматике Цермело–Френкеля, но даже и в рамки теории классов и
множеств в аксиоматике фон Неймана–Бернайса–Гёделя. По этой причине в 1959 г. Маклейн поставил общую проблему построения новой и более гибкой аксиоматической теории множеств, которая могла бы служить адекватным логическим основанием для всей наивной теории категорий. В данной работе даются аксиоматические основания локальной
теории множеств. Эта теория может быть одним из возможных вариантов решения проблемы Маклейна.
Библиография: 19 названий.