Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

F:x->y ?

  1. Jul 19, 2003 #1


    User Avatar
    Gold Member

    my question: does the morphism above imply the other way around, ie, y->x?
  2. jcsd
  3. Jul 19, 2003 #2
    Well...if it's bijective...yes...and it's a homomorphism...I guess...[?]
  4. Jul 19, 2003 #3
    there is a set of morphisms between any objects in your category. so while it is not correct to say that x-->y implies y-->x, it is true that there exists a set of morphisms (which might be trivial) from y-->x. but this is not dependent on the morphisms from x-->y
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook