Representing geometric morphisms using power locale monads