0

We have X(set), I(type), and *(incidence relation). I believe my teacher said we need to only check that we have a bijection in terms of X(elements) and I(type), but what about the incidence relation?

cakey
  • 245

1 Answers1

1

Reading Ueberberg chapter 2 section 2:

  • A morphism requires preservation of incidences and type equalities. So incident elements must map to incident elements, and elements of the same kind must map to elements of the same kind, although that resulting kind might be different from the original one.
  • A homomorphism additionally requires preservation of types, so elements of a given kind must map to elements of the same kind as the one they started from.
  • An isomorphism requires a bijective homomorphism, whose inverse is a homomorphism as well. Which unless I missed something mostly means that no non-incident objects may become incident, in addition to the above requirements.

So since each definition builds on the one before, and incidence preservation is at the very beginning, you do have to preserve that as well. Could it be you misunderstood your teacher?

MvG
  • 42,596
  • Well, I am checking my notes again. And I quoted him as saying that we only need to check bijection of sets(X1->X2) and bijection of Types (I1->I2), and then he said that "do we need to check 1->2?" and he said No, because this bijection is "induced" by confirming the first two bijections. – cakey Jan 29 '14 at 05:52
  • So he is saying that we do not need to confirm the bijection of incidence(1->2) because he says the previous confirmations induce this requirement. But I do not see how it is "induced" or implied. – cakey Jan 29 '14 at 05:53