 Open local operator

For a subterminal object classified by $u$, the open local operator is $p\mapsto (u\Rightarrow p)$. Its dense monos are exactly those whose image contains the pullback of that subterminal. It is complementary to the corresponding closed local operator.