Timeline for Constructing a stack (gerbe) from a connected groupoid
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17, 2013 at 0:57 | comment | added | David Roberts♦ | @Mikhail: $Set^{B\Gamma}$ is the category of functors from the one-object groupoid with arrows $\Gamma$ to $Set$; it is equivalent to the category of $\Gamma$-sets. $Gpd(Set^{B\Gamma})$ is the 2-category of groupoid objects in this category and $Gpd^{B\Gamma}$ is the 2-category of (I guess strict) functors $B\Gamma \to Gpd$. When David says weak functor, it's the same thing as a pseudofunctor. | |
| Apr 16, 2013 at 17:37 | comment | added | Mikhail Borovoi | @DavidCarchedi: Thank you! However, I am not quite familiar with your notations $Set^{B\Gamma}$, $Gpd(Set^{B\Gamma})$ and $Gpd^{B\Gamma}$. Your links did not help me. Could you please explain me these notations? Also, what is a weak functor? Where can I read about all this stuff? | |
| Apr 16, 2013 at 4:46 | comment | added | David Roberts♦ | Nice! [padding characters] | |
| Apr 16, 2013 at 0:33 | history | edited | David Carchedi | CC BY-SA 3.0 |
added 58 characters in body
|
| Apr 15, 2013 at 23:56 | history | answered | David Carchedi | CC BY-SA 3.0 |