We de ne and study two categories of partially ordered sets endowed with a closure operator. The rst category has order-preserving and continuous maps as morphisms and it is shown to be concretely isomorphic to a category of ordered sets endowed with a compatible preorder. The second category has closed maps as morphisms and it is proved to be cartesian closed. Consequences of these results for categories of closure spaces and, in particular, of topological spaces are discussed.
© 2008-2024 Fundación Dialnet · Todos los derechos reservados