Timeline for How can I understand the "groupoid" quotient of a group action as some sort of "product"?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 14, 2013 at 21:05 | comment | added | David Carchedi | You can also view the groupoid $X$ together with a $Y$-action as a groupoid in the category $Y-Set \simeq Set^{Y^{op}},$ hence a presheaf of groupoids on $Y,$ and perform the Grothendieck construction to this. | |
| Apr 30, 2010 at 14:29 | comment | added | Mike Shulman | Also, this is a special case of the Grothendieck construction (ncatlab.org/nlab/show/Grothendieck%20construction) for pseudofunctors into Cat, where the domain is a groupoid $Y$ and the pseudofunctor happens to take all the objects of $Y$ to the object $X\in Cat$. | |
| Apr 30, 2010 at 3:59 | vote | accept | Theo Johnson-Freyd | ||
| Apr 29, 2010 at 20:58 | history | answered | Evan Jenkins | CC BY-SA 2.5 |