Se muestra que el operador que asocia la topologia superior a una relacion de pre-orden puede extenderse a los morfismos de una subcategoria de Top, de tal manera que resulta un funtor y es adjunto a derecha de la respectiva extension del operador que asocia a cada topolog¿ia su pre-orden de especializacion.
We show that the operator which associates the upper topology to a pre-order relation can be extended to the morphisms of a subcategory of Top, in such way that it results a functor and it is right adjoint of the respective extension of the operator which associates to each topology its specialization pre-order.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados