On explaining monomorphisms and epimorphisms












3












$begingroup$


I almost always see explanations of monomorphisms such as: if $forall g_1,g_2, mcirc g_1 = mcirc g_2 Rightarrow g_1=g_2$, then $m$ is monic (and similarly for epimorphisms). I find this is not at all intuitive.



Is it OK to turn the argument around and talk about inequality between arrows instead of equality? (btw, this is for a blog post, not for a scientific paper)



Monomorphisms:



$m$ is monomorphism if does not erase information: if $g_1$ and $g_2$ are different arrows, we can still tell them apart even if they are followed by $m$:
$$
g_1 neq g_2 quad Rightarrow quad m circ g_1 neq m circ g_2quad (forall g_1,g_2)
$$

In other words, the fact that $m circ g_1 = m circ g_2$ is not thanks to $m$ "throwing away" the differences between $g_1$ and $g_2$, it really must be because $g_1 = g_2$.



Epimorphisms:



$e$ is an epimorphism if it does not restrict access to information: if $g_1$ and $g_2$ are different, we can still tell them apart if they are preceded by $e$ (e.g. $e$ does not hide the parts of the source where $g_1$ and $g_2$ would have differed):
$$
g_1 neq g_2 quad Rightarrow quad g_1 circ e neq g_2 circ equad (forall g_1,g_2)
$$

In other words, the fact that $g_1circ e = g_2 circ e$ is not due to $e$ "setting things up" so that $g_1$ and $g_2$ look equal, it really must be because $g_1 = g_2$.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    Nothing wrong with that. Intuition might be subjective.
    $endgroup$
    – drhab
    4 hours ago
















3












$begingroup$


I almost always see explanations of monomorphisms such as: if $forall g_1,g_2, mcirc g_1 = mcirc g_2 Rightarrow g_1=g_2$, then $m$ is monic (and similarly for epimorphisms). I find this is not at all intuitive.



Is it OK to turn the argument around and talk about inequality between arrows instead of equality? (btw, this is for a blog post, not for a scientific paper)



Monomorphisms:



$m$ is monomorphism if does not erase information: if $g_1$ and $g_2$ are different arrows, we can still tell them apart even if they are followed by $m$:
$$
g_1 neq g_2 quad Rightarrow quad m circ g_1 neq m circ g_2quad (forall g_1,g_2)
$$

In other words, the fact that $m circ g_1 = m circ g_2$ is not thanks to $m$ "throwing away" the differences between $g_1$ and $g_2$, it really must be because $g_1 = g_2$.



Epimorphisms:



$e$ is an epimorphism if it does not restrict access to information: if $g_1$ and $g_2$ are different, we can still tell them apart if they are preceded by $e$ (e.g. $e$ does not hide the parts of the source where $g_1$ and $g_2$ would have differed):
$$
g_1 neq g_2 quad Rightarrow quad g_1 circ e neq g_2 circ equad (forall g_1,g_2)
$$

In other words, the fact that $g_1circ e = g_2 circ e$ is not due to $e$ "setting things up" so that $g_1$ and $g_2$ look equal, it really must be because $g_1 = g_2$.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    Nothing wrong with that. Intuition might be subjective.
    $endgroup$
    – drhab
    4 hours ago














3












3








3





$begingroup$


I almost always see explanations of monomorphisms such as: if $forall g_1,g_2, mcirc g_1 = mcirc g_2 Rightarrow g_1=g_2$, then $m$ is monic (and similarly for epimorphisms). I find this is not at all intuitive.



Is it OK to turn the argument around and talk about inequality between arrows instead of equality? (btw, this is for a blog post, not for a scientific paper)



Monomorphisms:



$m$ is monomorphism if does not erase information: if $g_1$ and $g_2$ are different arrows, we can still tell them apart even if they are followed by $m$:
$$
g_1 neq g_2 quad Rightarrow quad m circ g_1 neq m circ g_2quad (forall g_1,g_2)
$$

In other words, the fact that $m circ g_1 = m circ g_2$ is not thanks to $m$ "throwing away" the differences between $g_1$ and $g_2$, it really must be because $g_1 = g_2$.



Epimorphisms:



$e$ is an epimorphism if it does not restrict access to information: if $g_1$ and $g_2$ are different, we can still tell them apart if they are preceded by $e$ (e.g. $e$ does not hide the parts of the source where $g_1$ and $g_2$ would have differed):
$$
g_1 neq g_2 quad Rightarrow quad g_1 circ e neq g_2 circ equad (forall g_1,g_2)
$$

In other words, the fact that $g_1circ e = g_2 circ e$ is not due to $e$ "setting things up" so that $g_1$ and $g_2$ look equal, it really must be because $g_1 = g_2$.










share|cite|improve this question









$endgroup$




I almost always see explanations of monomorphisms such as: if $forall g_1,g_2, mcirc g_1 = mcirc g_2 Rightarrow g_1=g_2$, then $m$ is monic (and similarly for epimorphisms). I find this is not at all intuitive.



Is it OK to turn the argument around and talk about inequality between arrows instead of equality? (btw, this is for a blog post, not for a scientific paper)



Monomorphisms:



$m$ is monomorphism if does not erase information: if $g_1$ and $g_2$ are different arrows, we can still tell them apart even if they are followed by $m$:
$$
g_1 neq g_2 quad Rightarrow quad m circ g_1 neq m circ g_2quad (forall g_1,g_2)
$$

In other words, the fact that $m circ g_1 = m circ g_2$ is not thanks to $m$ "throwing away" the differences between $g_1$ and $g_2$, it really must be because $g_1 = g_2$.



Epimorphisms:



$e$ is an epimorphism if it does not restrict access to information: if $g_1$ and $g_2$ are different, we can still tell them apart if they are preceded by $e$ (e.g. $e$ does not hide the parts of the source where $g_1$ and $g_2$ would have differed):
$$
g_1 neq g_2 quad Rightarrow quad g_1 circ e neq g_2 circ equad (forall g_1,g_2)
$$

In other words, the fact that $g_1circ e = g_2 circ e$ is not due to $e$ "setting things up" so that $g_1$ and $g_2$ look equal, it really must be because $g_1 = g_2$.







category-theory






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 4 hours ago









ZiofilZiofil

588416




588416








  • 1




    $begingroup$
    Nothing wrong with that. Intuition might be subjective.
    $endgroup$
    – drhab
    4 hours ago














  • 1




    $begingroup$
    Nothing wrong with that. Intuition might be subjective.
    $endgroup$
    – drhab
    4 hours ago








1




1




$begingroup$
Nothing wrong with that. Intuition might be subjective.
$endgroup$
– drhab
4 hours ago




$begingroup$
Nothing wrong with that. Intuition might be subjective.
$endgroup$
– drhab
4 hours ago










2 Answers
2






active

oldest

votes


















3












$begingroup$

This is fine. Your definitions (which are the contrapositive of the conventional definitions) are logically equivalent to the conventional definitions, and if you think your definitions better supports an intuitive understanding then you are free to use them.



I would add a footnote explaining that this is not the conventional way of writing down the definition, just so your readers are prepared should they want to read up on it on their own afterwards.






share|cite|improve this answer









$endgroup$





















    2












    $begingroup$

    This is indeed equivalent, as you just take the contrapositive of the usual definition.



    I do not agree that this would be better though. We usually use the fact that an arrow is monic or epic to prove that a diagram commutes. The usual definition fits that better. However, this is personal preference and your intuition might be different. Just something you may want to take into consideration.






    share|cite|improve this answer









    $endgroup$














      Your Answer








      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3207993%2fon-explaining-monomorphisms-and-epimorphisms%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      3












      $begingroup$

      This is fine. Your definitions (which are the contrapositive of the conventional definitions) are logically equivalent to the conventional definitions, and if you think your definitions better supports an intuitive understanding then you are free to use them.



      I would add a footnote explaining that this is not the conventional way of writing down the definition, just so your readers are prepared should they want to read up on it on their own afterwards.






      share|cite|improve this answer









      $endgroup$


















        3












        $begingroup$

        This is fine. Your definitions (which are the contrapositive of the conventional definitions) are logically equivalent to the conventional definitions, and if you think your definitions better supports an intuitive understanding then you are free to use them.



        I would add a footnote explaining that this is not the conventional way of writing down the definition, just so your readers are prepared should they want to read up on it on their own afterwards.






        share|cite|improve this answer









        $endgroup$
















          3












          3








          3





          $begingroup$

          This is fine. Your definitions (which are the contrapositive of the conventional definitions) are logically equivalent to the conventional definitions, and if you think your definitions better supports an intuitive understanding then you are free to use them.



          I would add a footnote explaining that this is not the conventional way of writing down the definition, just so your readers are prepared should they want to read up on it on their own afterwards.






          share|cite|improve this answer









          $endgroup$



          This is fine. Your definitions (which are the contrapositive of the conventional definitions) are logically equivalent to the conventional definitions, and if you think your definitions better supports an intuitive understanding then you are free to use them.



          I would add a footnote explaining that this is not the conventional way of writing down the definition, just so your readers are prepared should they want to read up on it on their own afterwards.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 4 hours ago









          ArthurArthur

          124k7122211




          124k7122211























              2












              $begingroup$

              This is indeed equivalent, as you just take the contrapositive of the usual definition.



              I do not agree that this would be better though. We usually use the fact that an arrow is monic or epic to prove that a diagram commutes. The usual definition fits that better. However, this is personal preference and your intuition might be different. Just something you may want to take into consideration.






              share|cite|improve this answer









              $endgroup$


















                2












                $begingroup$

                This is indeed equivalent, as you just take the contrapositive of the usual definition.



                I do not agree that this would be better though. We usually use the fact that an arrow is monic or epic to prove that a diagram commutes. The usual definition fits that better. However, this is personal preference and your intuition might be different. Just something you may want to take into consideration.






                share|cite|improve this answer









                $endgroup$
















                  2












                  2








                  2





                  $begingroup$

                  This is indeed equivalent, as you just take the contrapositive of the usual definition.



                  I do not agree that this would be better though. We usually use the fact that an arrow is monic or epic to prove that a diagram commutes. The usual definition fits that better. However, this is personal preference and your intuition might be different. Just something you may want to take into consideration.






                  share|cite|improve this answer









                  $endgroup$



                  This is indeed equivalent, as you just take the contrapositive of the usual definition.



                  I do not agree that this would be better though. We usually use the fact that an arrow is monic or epic to prove that a diagram commutes. The usual definition fits that better. However, this is personal preference and your intuition might be different. Just something you may want to take into consideration.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 4 hours ago









                  Mark KamsmaMark Kamsma

                  1,11315




                  1,11315






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3207993%2fon-explaining-monomorphisms-and-epimorphisms%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      GameSpot

                      日野市

                      Tu-95轟炸機