How to see a 2-group as a 2-category with only one object?
Clash 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?
category-theory definition higher-category-theory
add a comment |Â
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?
category-theory definition higher-category-theory
add a comment |Â
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?
category-theory definition higher-category-theory
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?
category-theory definition higher-category-theory
asked Oct 4 '13 at 9:54
ubugnu
20519
20519
add a comment |Â
add a comment |Â
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.
The following may be useful: arxiv.org/abs/math/0212065
â Tim Porter
Aug 27 at 8:15
add a comment |Â
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!
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
add a comment |Â
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.
The following may be useful: arxiv.org/abs/math/0212065
â Tim Porter
Aug 27 at 8:15
add a comment |Â
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.
The following may be useful: arxiv.org/abs/math/0212065
â Tim Porter
Aug 27 at 8:15
add a comment |Â
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.
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.
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
add a comment |Â
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
add a comment |Â
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!
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
add a comment |Â
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!
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
add a comment |Â
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!
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!
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
add a comment |Â
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
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password