Основание теории категорий в рамках локальной теории множествтезисы доклада