Let $G$ be a finite group, $\mathcal{G}^0$ be the category of finite free
$G$-sets and isomorphisms between them.  Then $\mathcal{G}^0$ is a symmetric monoidal category with respect to the disjoint union, so we can talk about its $K$-theory, which is homotopy equivalent to $BG_+$.

My first question is, where in the literature can I find this, preferably explicitly stated in this way?  

Now, consider the category $\mathcal{G}$ who has unique object and morphisms are elements of $G$.  Then we can identify $G$-sets with functors from $\mathcal{G}$ to $Sets$.  Thus the statement above can be reformulated as follows.

$$\Sigma ^{\infty}|Nerve(\mathcal{G})|_+\simeq K(F^0(\mathcal{G},Sets))  $$
where $F^0(A,B)$ denote the category whose objects are "free" functor from 
$\mathcal{G}$ to $Sets$.  And by free, we mean the objects that are in the essential image of the left adjoint of the "forgetful" functor to $Sets$.

Now my second question is: is there any known sufficient condition on the category $\mathcal{C}$ and its object $C$ so that we have $$\Sigma ^{\infty}|Nerve(\mathcal{C})|_+\simeq K(F^0(\mathcal{C},Sets)),  $$ where the notation is just as in above except we use the evaluation at $C$ instead of the forgetful functor?