Lower Semi-continuous Function Frames

It has never been systematically studied under which algebraic actions lower semi-continuity is a stable property. This is despite the fact that this continuity variant is commonly used, in different branches of mathematics. In this note we propose an abstraction of the lower semi-continuous function frame on a topological space and describe this as the Eilenberg–Moore algebras of a Hom-functor monad. We also point out the connection with approach frames and with classical frame theory. Thereby we obtain several different characterizations of the introduced category.