Estos marcos, junto con los homomorfismos de reticulado que respetan supremos arbitrarios, forman una categoría; la categoría opuesta de la categoría de marcos se llama la categoría de los locales y generaliza la categoría de espacios topológicos.