isomorphism and contravariant functors [closed]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
-1
down vote

favorite












There is some condition for contravariant functors to preserve and isomorphism.



There is some condition for contravariant functors to reflects and isomorphism.



.



Thank you.










share|cite|improve this question













closed as unclear what you're asking by Alon Amit, Lord Shark the Unknown, Kevin Carlson, Paul Frost, user91500 Sep 1 at 10:16


Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.














  • There is no question in this question.
    – Derek Elkins
    Sep 1 at 5:21














up vote
-1
down vote

favorite












There is some condition for contravariant functors to preserve and isomorphism.



There is some condition for contravariant functors to reflects and isomorphism.



.



Thank you.










share|cite|improve this question













closed as unclear what you're asking by Alon Amit, Lord Shark the Unknown, Kevin Carlson, Paul Frost, user91500 Sep 1 at 10:16


Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.














  • There is no question in this question.
    – Derek Elkins
    Sep 1 at 5:21












up vote
-1
down vote

favorite









up vote
-1
down vote

favorite











There is some condition for contravariant functors to preserve and isomorphism.



There is some condition for contravariant functors to reflects and isomorphism.



.



Thank you.










share|cite|improve this question













There is some condition for contravariant functors to preserve and isomorphism.



There is some condition for contravariant functors to reflects and isomorphism.



.



Thank you.







category-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 1 at 5:09









Tomais

954




954




closed as unclear what you're asking by Alon Amit, Lord Shark the Unknown, Kevin Carlson, Paul Frost, user91500 Sep 1 at 10:16


Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.






closed as unclear what you're asking by Alon Amit, Lord Shark the Unknown, Kevin Carlson, Paul Frost, user91500 Sep 1 at 10:16


Please clarify your specific problem or add additional details to highlight exactly what you need. As it's currently written, it’s hard to tell exactly what you're asking. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.













  • There is no question in this question.
    – Derek Elkins
    Sep 1 at 5:21
















  • There is no question in this question.
    – Derek Elkins
    Sep 1 at 5:21















There is no question in this question.
– Derek Elkins
Sep 1 at 5:21




There is no question in this question.
– Derek Elkins
Sep 1 at 5:21










1 Answer
1






active

oldest

votes

















up vote
1
down vote













Assuming the question is "Is there a condition for contravariant functors to preserve isomorphisms? Or reflect them?", the answer to the first is that all functors preserve isomorphism; the notion of isomorphism is self-dual, so it's not affected by contravariance.



One answer to the second is that there are two easy sufficient (but not necessary) conditions to reflect isomorphisms are A) that $F$ is full and faithful, or B) $F$ is faithful and the domain of $F$ is balanced (i.e. all morphisms that are both epimorphic and monomorphic are isomorphisms). Again, both of these conditions are self-dual, so contravariance changes nothing.






share|cite|improve this answer



























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote













    Assuming the question is "Is there a condition for contravariant functors to preserve isomorphisms? Or reflect them?", the answer to the first is that all functors preserve isomorphism; the notion of isomorphism is self-dual, so it's not affected by contravariance.



    One answer to the second is that there are two easy sufficient (but not necessary) conditions to reflect isomorphisms are A) that $F$ is full and faithful, or B) $F$ is faithful and the domain of $F$ is balanced (i.e. all morphisms that are both epimorphic and monomorphic are isomorphisms). Again, both of these conditions are self-dual, so contravariance changes nothing.






    share|cite|improve this answer
























      up vote
      1
      down vote













      Assuming the question is "Is there a condition for contravariant functors to preserve isomorphisms? Or reflect them?", the answer to the first is that all functors preserve isomorphism; the notion of isomorphism is self-dual, so it's not affected by contravariance.



      One answer to the second is that there are two easy sufficient (but not necessary) conditions to reflect isomorphisms are A) that $F$ is full and faithful, or B) $F$ is faithful and the domain of $F$ is balanced (i.e. all morphisms that are both epimorphic and monomorphic are isomorphisms). Again, both of these conditions are self-dual, so contravariance changes nothing.






      share|cite|improve this answer






















        up vote
        1
        down vote










        up vote
        1
        down vote









        Assuming the question is "Is there a condition for contravariant functors to preserve isomorphisms? Or reflect them?", the answer to the first is that all functors preserve isomorphism; the notion of isomorphism is self-dual, so it's not affected by contravariance.



        One answer to the second is that there are two easy sufficient (but not necessary) conditions to reflect isomorphisms are A) that $F$ is full and faithful, or B) $F$ is faithful and the domain of $F$ is balanced (i.e. all morphisms that are both epimorphic and monomorphic are isomorphisms). Again, both of these conditions are self-dual, so contravariance changes nothing.






        share|cite|improve this answer












        Assuming the question is "Is there a condition for contravariant functors to preserve isomorphisms? Or reflect them?", the answer to the first is that all functors preserve isomorphism; the notion of isomorphism is self-dual, so it's not affected by contravariance.



        One answer to the second is that there are two easy sufficient (but not necessary) conditions to reflect isomorphisms are A) that $F$ is full and faithful, or B) $F$ is faithful and the domain of $F$ is balanced (i.e. all morphisms that are both epimorphic and monomorphic are isomorphisms). Again, both of these conditions are self-dual, so contravariance changes nothing.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Sep 1 at 5:41









        Malice Vidrine

        5,55921021




        5,55921021












            這個網誌中的熱門文章

            How to combine Bézier curves to a surface?

            Mutual Information Always Non-negative

            Why am i infinitely getting the same tweet with the Twitter Search API?