one thing that i've gotten confused about in the past is about how groupoid objects in for example the category of locales can correspond to toposes whose model categories are actual categories rather than mere groupoids. this is coming up again in some things that i'm working on now, so i should try to work out soem of the ideas and examples here...