Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

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|cite|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.