A famous theorem of Joyal and Tierney says that each Grothendieck topos is equivalent to the classifying topos of a localic groupoid. I believe that Buntz and Moerdijk have shown that if the topos has enough points then one can use a topological groupoid.
I am not a category theorist and I have trouble following the proof in Johnstone's Elephant. I was wondering if someone can explain what is going on for the specific case of presheaves on a monoid. This is a very special kind of topos with enough points and so I am hoping somebody can describe a groupoid explicitly.
If the monoid is cancellative, the topos is an etendue and I know how to get an etale groupoid via inverse semigroup theory so I am interested in the non-cancellative case.
Motivation: I study monoids and so it is interesting to try and understand how a Morita class of groupoids can be associated to a monoid.