О некоторых свойствах отображений сноп-пространств

Эта заметка примыкает к [I], [2]. Доказывается, что области определенности конструктивных отображений сноп-пространств являются пересечениями перечислимых семейств конструктивно открытых множеств (и при некоторых дополнительных условиях даже пересечениями перечислимых семейств лакомбовых множеств). Вводится понятие окрестностного оператора, имеющее аппроксимационный характер, и устанавливается связь между окрестностными операторами и конструктивными отображениями. Формулируются две теоремы о нормальной форме конструктивных операторов конечных типов.