Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm struggling again with Joyal-Tierney's "Strong stacks & classifying spaces", and in the proof of the main theorem of the paper, where stacks are characterized as internal groupoids $\mathbb G$ satisfying a "weak lifting condition", appears a claim I'm not able to prove. Everything happens in a fixed Grothendieck topos.

Having a $\mathbb G$-torsor $E$ over an object $X$, Joyal builds a groupoid out of $E$, say $\mathbb E = (E_0=E,E_1,s,t,c)$, called its groupoid of elements, and claims that it is equivalent to the discrete internal category $\delta(X)$ on the object $X$. It seems a rather general fact that such maps $E\to X$ induce such an internal equivalence; $E\to X$ surely is the object part of the functor I'm looking for, but I'm not able to derive this result in any convincing way.

share|improve this question

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.