7
$\begingroup$

Let $C$ be an $(\infty,1)$-topos. The $(\infty,1)$-category of group objects in $C$ is a full sub-$(\infty,1)$-category of groupoid objects in $C$: $${\mathsf{Grp}}(C) \hookrightarrow {\mathsf{Grpd}}(C)$$

Is this full subcategory reflective? Here is one way to go about constructing a $(\infty,1)$-functor in the other direction: $${\mathsf{Grpd}}(C)\xrightarrow{{\mathbf{B}}} C \xrightarrow{R} {\mathsf{PointedConnected}}(C)\xrightarrow{\Omega} {\mathsf{Grp}}(C)$$ The functor $R: C\to {\mathsf{PointedConnected}}(C)$ takes an ordinary object $X$ in $C$ and gives its pointed-connected-reflection, given, say, by taking the homotopy cofiber of the inclusion from the 0-truncation $X_0$ to $X$. Conjecturally, the above $(\infty,1)$-functor could be the group reflection of a groupoid object, but it's really a guess.

So, the question: is ${\mathsf{Grp}}(C)$ reflective in ${\mathsf{Grpd}}(C)$? How can we give the adjoint?

Improve this question
$\endgroup$
2
  • 1
    $\begingroup$ How do you get an inclusion from the $0$-truncation $X_0$ to $X$? $\endgroup$
    – Charles Rezk
    Commented Aug 28, 2013 at 13:36
  • $\begingroup$ At least, if $X=BA$ is the delooping of a groupoid object $A$, then $X_0=BA_0$. In this case, the morphism $X_0\to X$ is induced by $A_0\hookrightarrow A$ which includes into $A$ the discretization of $A$. $\endgroup$
    – user2529
    Commented Aug 29, 2013 at 2:54

1 Answer 1

Reset to default
11
$\begingroup$

If $\mathcal{C}$ is an $\infty$-topos, the $\infty$-category of groupoid objects of $\mathcal{C}$ is equivalent to the full subcategory of $Fun( \Delta^1, \mathcal{C})$ spanned by the effective epimorphisms $X \rightarrow Y$. Under this equivalence, the group objects correspond to the full subcategory where $X$ is a final object. The inclusion has a left adjoint, which carries an effective epimorphism $f: X \rightarrow Y$ to the induced map $\mathbf{1} \rightarrow Y \amalg_{X} \mathbf{1}$.

Improve this answer
$\endgroup$

You must log in to answer this question.