A note on algebraic categories
A covariant representation of the category of locales by approximate maps (mimicking a natural representation of continuous maps between spaces in which one approximates points by small open sets) is constructed. It is shown that it can be given a Kleisli shape, as a part of a more general Kleisli representation of meet preserving maps. Also, we present the spectrum adjunction in this approximation setting.
We investigate the triples in the category of compacta whose functorial parts are normal functors in the sense of E.V. Shchepin (normal triples). The problem of lifting of functors to the categories of algebras of the normal triples is considered. The distributive law for normal triples is completely described.