The right adjoints to the down-set functor applied for Boolean frames exist for two natural choices of morphisms, and do not exist in other (also natural) cases.
