T-adjunction
Summary
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 specialization pre-order.
Subject
Collections
- Boletín de Matemáticas [688]