In reply to [#30](

> That means \\(\bigwedge_Q \emptyset = 3\\) and \\(\bigwedge_P \emptyset = e\\). The proposed function \\(g\\) doesn't send 3 to e, so it's not meet preserving, and can't be a right adjoint.

Good catch, guess I still have to get used to checking the \\( \emptyset \\).

Thank you so much taking the time to participate in this discussion and reply in details.

Same goes for the first part of your reply, where you explain the application of the quantifiers.
I greatly appreciate it, thank you Pete!