I think I might have answered my own question. I will try to post a picture...
\( f : P \rightarrow Q \) and \(g : P \leftarrow Q \)
\( g(q_1) = \bigvee \{ p_1 \} = p1 \)
\( g(q_{21}) = \bigvee \{ p_1, p_{21}, p_{22}, p_{32}\} = p_{32} \)
\( g…
It seems like the existence of a Galois connection between \( (A,\leq_A) \) and \( (B, \leq_B ) \) requires least-upper bounds and greatest-lower bounds to be defined. Does a Galois connection between \( (A,\leq_A) \) and \( (B, \leq_B ) \) imply t…
Question:
The definition of a monotone map reminded me of homomorphism.
I remember seeing homomorphism in a data-base class, where it was defined as:
A homomorphism from a data-base instance \( K1 \) to another instance \( K2 \) is a mapping \(h\…