How to see a 2-group as a 2-category with only one object?

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











up vote
5
down vote

favorite












We'll take the following definition of a 2-group:




A 2-group $mathsfG$ is a category internal to $mathsfGrp$




Namely, it is a group $mathsfG_0$ of objects, a group $mathsfG_1$ of morphisms, together with maps:



$s,t:mathsfG_1rightarrow mathsfG_0$ (source and target map)



$id:mathsfG_0rightarrow mathsfG_1$ (the identity map)



$circ: mathsfG_1times_(s,t)mathsfG_1rightarrow mathsfG_1$ (composition map between composable morphisms)



such that the usual diagrams defining a category commute.



One way I see to view a 2-group as a 2-category is to say that a 2-group defined as previously is a monoidal category with the group composition as the tensor product. The delooping category $BmathsfG$ is thus the manner to view a 2-group as a 2-category, am I right?







share|cite|improve this question
























    up vote
    5
    down vote

    favorite












    We'll take the following definition of a 2-group:




    A 2-group $mathsfG$ is a category internal to $mathsfGrp$




    Namely, it is a group $mathsfG_0$ of objects, a group $mathsfG_1$ of morphisms, together with maps:



    $s,t:mathsfG_1rightarrow mathsfG_0$ (source and target map)



    $id:mathsfG_0rightarrow mathsfG_1$ (the identity map)



    $circ: mathsfG_1times_(s,t)mathsfG_1rightarrow mathsfG_1$ (composition map between composable morphisms)



    such that the usual diagrams defining a category commute.



    One way I see to view a 2-group as a 2-category is to say that a 2-group defined as previously is a monoidal category with the group composition as the tensor product. The delooping category $BmathsfG$ is thus the manner to view a 2-group as a 2-category, am I right?







    share|cite|improve this question






















      up vote
      5
      down vote

      favorite









      up vote
      5
      down vote

      favorite











      We'll take the following definition of a 2-group:




      A 2-group $mathsfG$ is a category internal to $mathsfGrp$




      Namely, it is a group $mathsfG_0$ of objects, a group $mathsfG_1$ of morphisms, together with maps:



      $s,t:mathsfG_1rightarrow mathsfG_0$ (source and target map)



      $id:mathsfG_0rightarrow mathsfG_1$ (the identity map)



      $circ: mathsfG_1times_(s,t)mathsfG_1rightarrow mathsfG_1$ (composition map between composable morphisms)



      such that the usual diagrams defining a category commute.



      One way I see to view a 2-group as a 2-category is to say that a 2-group defined as previously is a monoidal category with the group composition as the tensor product. The delooping category $BmathsfG$ is thus the manner to view a 2-group as a 2-category, am I right?







      share|cite|improve this question












      We'll take the following definition of a 2-group:




      A 2-group $mathsfG$ is a category internal to $mathsfGrp$




      Namely, it is a group $mathsfG_0$ of objects, a group $mathsfG_1$ of morphisms, together with maps:



      $s,t:mathsfG_1rightarrow mathsfG_0$ (source and target map)



      $id:mathsfG_0rightarrow mathsfG_1$ (the identity map)



      $circ: mathsfG_1times_(s,t)mathsfG_1rightarrow mathsfG_1$ (composition map between composable morphisms)



      such that the usual diagrams defining a category commute.



      One way I see to view a 2-group as a 2-category is to say that a 2-group defined as previously is a monoidal category with the group composition as the tensor product. The delooping category $BmathsfG$ is thus the manner to view a 2-group as a 2-category, am I right?









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Oct 4 '13 at 9:54









      ubugnu

      20519




      20519




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          1
          down vote













          Have a look at what a 2-groupoid should be, then look at a 2-groupoid having just one object. Call the set of objects, $X_0$, take $X_1$, the set of 1-arrows (check this should be a groupoid), then $X_2$ as set of 2-arrows. Write down the axioms you expect, then specialise to look at the structure at a single object. You get a 2-group. (Now reverse engineer the 2-groupoid from the 2-group.)



          What you say about a 2-group as a (strict) monoidal category is also correct.






          share|cite|improve this answer






















          • The following may be useful: arxiv.org/abs/math/0212065
            – Tim Porter
            Aug 27 at 8:15


















          up vote
          0
          down vote













          Maybe the definition you gave is not the most suitable to catch the 2-categorical nature of 2-groups: you are probably interested in this pdf.



          Hope it helps!






          share|cite|improve this answer




















          • Fosco: your address has changed since you posted this reply. It would help if you updated it.
            – Tim Porter
            Aug 22 at 9:11










          • sorry I should have said that the link in your comment is dead.
            – Tim Porter
            Aug 22 at 9:19










          • I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
            – Fosco Loregian
            Aug 22 at 19:01










          • Thanks for replying, enjoy the sea, Tim
            – Tim Porter
            Aug 22 at 19:40











          Your Answer




          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          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',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          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%2f514425%2fhow-to-see-a-2-group-as-a-2-category-with-only-one-object%23new-answer', 'question_page');

          );

          Post as a guest






























          2 Answers
          2






          active

          oldest

          votes








          2 Answers
          2






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          1
          down vote













          Have a look at what a 2-groupoid should be, then look at a 2-groupoid having just one object. Call the set of objects, $X_0$, take $X_1$, the set of 1-arrows (check this should be a groupoid), then $X_2$ as set of 2-arrows. Write down the axioms you expect, then specialise to look at the structure at a single object. You get a 2-group. (Now reverse engineer the 2-groupoid from the 2-group.)



          What you say about a 2-group as a (strict) monoidal category is also correct.






          share|cite|improve this answer






















          • The following may be useful: arxiv.org/abs/math/0212065
            – Tim Porter
            Aug 27 at 8:15















          up vote
          1
          down vote













          Have a look at what a 2-groupoid should be, then look at a 2-groupoid having just one object. Call the set of objects, $X_0$, take $X_1$, the set of 1-arrows (check this should be a groupoid), then $X_2$ as set of 2-arrows. Write down the axioms you expect, then specialise to look at the structure at a single object. You get a 2-group. (Now reverse engineer the 2-groupoid from the 2-group.)



          What you say about a 2-group as a (strict) monoidal category is also correct.






          share|cite|improve this answer






















          • The following may be useful: arxiv.org/abs/math/0212065
            – Tim Porter
            Aug 27 at 8:15













          up vote
          1
          down vote










          up vote
          1
          down vote









          Have a look at what a 2-groupoid should be, then look at a 2-groupoid having just one object. Call the set of objects, $X_0$, take $X_1$, the set of 1-arrows (check this should be a groupoid), then $X_2$ as set of 2-arrows. Write down the axioms you expect, then specialise to look at the structure at a single object. You get a 2-group. (Now reverse engineer the 2-groupoid from the 2-group.)



          What you say about a 2-group as a (strict) monoidal category is also correct.






          share|cite|improve this answer














          Have a look at what a 2-groupoid should be, then look at a 2-groupoid having just one object. Call the set of objects, $X_0$, take $X_1$, the set of 1-arrows (check this should be a groupoid), then $X_2$ as set of 2-arrows. Write down the axioms you expect, then specialise to look at the structure at a single object. You get a 2-group. (Now reverse engineer the 2-groupoid from the 2-group.)



          What you say about a 2-group as a (strict) monoidal category is also correct.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Aug 22 at 19:41

























          answered Aug 22 at 9:18









          Tim Porter

          70648




          70648











          • The following may be useful: arxiv.org/abs/math/0212065
            – Tim Porter
            Aug 27 at 8:15

















          • The following may be useful: arxiv.org/abs/math/0212065
            – Tim Porter
            Aug 27 at 8:15
















          The following may be useful: arxiv.org/abs/math/0212065
          – Tim Porter
          Aug 27 at 8:15





          The following may be useful: arxiv.org/abs/math/0212065
          – Tim Porter
          Aug 27 at 8:15











          up vote
          0
          down vote













          Maybe the definition you gave is not the most suitable to catch the 2-categorical nature of 2-groups: you are probably interested in this pdf.



          Hope it helps!






          share|cite|improve this answer




















          • Fosco: your address has changed since you posted this reply. It would help if you updated it.
            – Tim Porter
            Aug 22 at 9:11










          • sorry I should have said that the link in your comment is dead.
            – Tim Porter
            Aug 22 at 9:19










          • I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
            – Fosco Loregian
            Aug 22 at 19:01










          • Thanks for replying, enjoy the sea, Tim
            – Tim Porter
            Aug 22 at 19:40















          up vote
          0
          down vote













          Maybe the definition you gave is not the most suitable to catch the 2-categorical nature of 2-groups: you are probably interested in this pdf.



          Hope it helps!






          share|cite|improve this answer




















          • Fosco: your address has changed since you posted this reply. It would help if you updated it.
            – Tim Porter
            Aug 22 at 9:11










          • sorry I should have said that the link in your comment is dead.
            – Tim Porter
            Aug 22 at 9:19










          • I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
            – Fosco Loregian
            Aug 22 at 19:01










          • Thanks for replying, enjoy the sea, Tim
            – Tim Porter
            Aug 22 at 19:40













          up vote
          0
          down vote










          up vote
          0
          down vote









          Maybe the definition you gave is not the most suitable to catch the 2-categorical nature of 2-groups: you are probably interested in this pdf.



          Hope it helps!






          share|cite|improve this answer












          Maybe the definition you gave is not the most suitable to catch the 2-categorical nature of 2-groups: you are probably interested in this pdf.



          Hope it helps!







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Oct 5 '13 at 10:26









          Fosco Loregian

          4,58111945




          4,58111945











          • Fosco: your address has changed since you posted this reply. It would help if you updated it.
            – Tim Porter
            Aug 22 at 9:11










          • sorry I should have said that the link in your comment is dead.
            – Tim Porter
            Aug 22 at 9:19










          • I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
            – Fosco Loregian
            Aug 22 at 19:01










          • Thanks for replying, enjoy the sea, Tim
            – Tim Porter
            Aug 22 at 19:40

















          • Fosco: your address has changed since you posted this reply. It would help if you updated it.
            – Tim Porter
            Aug 22 at 9:11










          • sorry I should have said that the link in your comment is dead.
            – Tim Porter
            Aug 22 at 9:19










          • I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
            – Fosco Loregian
            Aug 22 at 19:01










          • Thanks for replying, enjoy the sea, Tim
            – Tim Porter
            Aug 22 at 19:40
















          Fosco: your address has changed since you posted this reply. It would help if you updated it.
          – Tim Porter
          Aug 22 at 9:11




          Fosco: your address has changed since you posted this reply. It would help if you updated it.
          – Tim Porter
          Aug 22 at 9:11












          sorry I should have said that the link in your comment is dead.
          – Tim Porter
          Aug 22 at 9:19




          sorry I should have said that the link in your comment is dead.
          – Tim Porter
          Aug 22 at 9:19












          I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
          – Fosco Loregian
          Aug 22 at 19:01




          I'll update the link asap! At the moment I'm in the middle of the Mediterranean sea relying on my phone's wifi only :)
          – Fosco Loregian
          Aug 22 at 19:01












          Thanks for replying, enjoy the sea, Tim
          – Tim Porter
          Aug 22 at 19:40





          Thanks for replying, enjoy the sea, Tim
          – Tim Porter
          Aug 22 at 19:40













           

          draft saved


          draft discarded


























           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f514425%2fhow-to-see-a-2-group-as-a-2-category-with-only-one-object%23new-answer', 'question_page');

          );

          Post as a guest













































































          這個網誌中的熱門文章

          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?