But, as in the case of inf-lattices and sup-lattices, we make intensional distinctions when we consider the appropriate notions of morphism for these concepts.
A morphism of frames is a poset map which preserves finite meets and arbitrary sups.