Closed local operator ($c(U)(p)=u\vee p$)

For a subterminal object classified by $u$, the closed local operator is $p\mapsto u\vee p$. Its closed monos contain the pullback of that subterminal, hence are exactly the monos dense for the corresponding open local operator.