T-adjunction

We show that the operator which associates the upper topologyto 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 specializatio...