Closed local operator
= Closed local operator
{title2=$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>.