Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Daniel Fava

About

Comments

  • 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\…