$\Delta$-пространства

Вводится понятие $\Delta$-пространства и устанавливается, что полная подкатегория категории ТОР$_0$ всех топологических $T_0$-пространств, определяемая $\Delta$-пространствами, является поддекартово замкнутой подкатегорией категории ТОР$_0$ и содержит многие известные в денотационной семантике категории топологических пространств в качестве поддекартово замкнутых подкатегорий. В качестве следствия дается положительный ответ на вопрос Д. Скотта о том, является ли категория бифинитных областей полной поддекартово замкнутой подкатегорией категории EQU.