Let a group $G$ act on a small category $C$. If $G$ acts freely on objects, there is a sensible construction of the quotient $C/G$ (this is briefly spelt out here)
What about the non-free case?
Let a group $G$ act on a small category $C$. If $G$ acts freely on objects, there is a sensible construction of the quotient $C/G$ (this is briefly spelt out here)
What about the non-free case?
From the view point of representations of finite dimensional algebras, there is a construction called the "orbit category" or "skew category" construction. The construction appears, for example, a paper by Cibils and Marcos, a paper by Keller, and a paper by Asashiba.
If you browse these papers, you will notice that their construction is a version of the Grothendieck construction. Here we regard an action of a group $G$ on a category $C$ as a functor $$G \longrightarrow Cats.$$
So it's related to Reid's comment.
$F:D\to Cat$
, the Grothendieck wreath product of D by F (or F by D?) is a model for the homotopy colimit, in the sense that its geometric realization is homotopy colimit of the geometric realization of the diagram. So I guess that's what's going on here (hence the relationship with Reid's comment).
$\endgroup$
– Dan Ramras
Apr 27 '10 at 18:31
Here is a particular special case that seems to be useful to me:
Let $F: D \to G$-Sets be a diagram of $G$-sets, indexed by some small category D. Then ignoring the G-actions, one can form the Grothendieck wreath product $D\wr F$. Objects are pairs (d, x) with $x\in F(d)$, and morphisms $(d,x)\to (d', x')$ are arrows $a:d\to d'$ such that $F(a)(x) = x'$. This category inherits an action of G from the actions on the sets in the diagram; $g\cdot (d,x) = (d, gx)$ (on morphisms, $g$ looks like the identity: $g\cdot (a:(d,x)\to(d',x')) = a:(d,gx)\to(d',gx')$, which makes since $F(a)$ is $G$-equivariant.
There is another diagram $F/G : D\to$ Sets, which takes $d\in D$ to $F(D)/G$, and there's a natural functor $D\wr F \to D\wr (F/G)$. I claim that this functor satisfies the universal property of the colimit, i.e. $(D\wr F)/G = D\wr (F/G)$.
This special case has the interesting property that the nerve of $D\wr (F/G)$ is precisely $N_\cdot (D\wr F)/G$. I don't think that will hold for arbitrary group actions on categories.