Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In Johnstone's book Topos Theory, he mentions an unresolved problem as to whether the 2-category $\mathbf{\text{Topos}}$ of Grothendieck toposes and geometric morphisms admits pseudo-colimits. $\mathbf{\text{Topos}}$ does admit lax colimits (including, famously, examples of Artin-Wraith gluing), and he remarks that insofar as

$$\mathbf{\text{Topos}}^{op} \to Cat$$

(which you can think of as the forgetful 2-functor from from Grothendieck toposes and left exact left adjoints to categories and functors) is represented by the object classifier $Set^{Fin}$, hence takes pseudo-colimits in $\mathbf{\text{Topos}}$ to pseudo-limits in $Cat$, what we are really asking is whether a pseudo-limit in $Cat$ of toposes and lex left adjoints gives back a topos.

Johnstone's book was written a long time ago, and I was wondering whether there has been progress on this problem since then.

share|improve this question
    
Usually (Top) denotes the category of topological spaces. So perhaps another notation would be appropriate. –  Martin Brandenburg Mar 28 '11 at 21:35
    
Fair enough. I fixed it. –  Todd Trimble Mar 28 '11 at 21:43

1 Answer 1

up vote 7 down vote accepted

The answer is yes; it seems to be due to Ieke Moerdijk in "The classifying topos of a continuous groupoid, I" (1988). There is also an exposition in section B3.4 of Johnstone's more recent book Sketches of an Elephant.

The idea is: a pseudo-limit in Cat of toposes and lex left adjoints "obviously" satisfies all the exactness conditions of Giraud's theorem, since lex left adjoints preserve all of that structure. Thus one "only" has to construct a small generating family in the limit category—but in general that is nontrivial!

share|improve this answer
    
Aha, thanks Mike! –  Todd Trimble Mar 28 '11 at 18:27

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.