1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
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