Can anyone tell me what is known about the existence of pullbacks in the 2-category of elementary toposes, geometric morphisms, and natural transformations? I know (from Peter Johnstone's book) that pullbacks along bounded morphisms exist. (I presume that when I say pullback I really mean bipullback, but if I should mean something else then do please do let me know!) Steve Lack.