Локальная теория классов и множеств как основание для теории категорийстатья