Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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? – Colin Tan 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.