MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question is kind of suggested by the question Is the category of group objects in an $(\infty,1)$-topos reflective as a subcategory of the groupoid objects?

Question: If $\mathcal C$ in an $(\infty,1)$ topos, is the functor from groupoid objects internal to $\mathcal C$ to $\mathcal C$ given by the objects in some sense both a fibration and a cofibration? I expect for the latter one needs some kind of natural number object.

In the case of sets, the cofibration property gives for a groupoid $G$ and a function $f: Ob(G) \to Y$ a new groupoid say $f_*(G)$ with object set $Y$ and the appropriate universal property: see Higgins' book Categories and Groupoids. The topological application is the effect on the fundamental groupoid $\pi_1(X,X_0)$ of vertex identifications of a CW-complex $X$.

In particular, if $Y$ is a singleton, we get a group from a groupoid. One can make this construction include free groups and free products of groups.

share|cite|improve this question
Are you asking if the map $G_0\to |G|$ is a cofibration/fibration? – user2529 Oct 25 '13 at 9:06

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.