13 Nov
2001
13 Nov
'01
4:04 p.m.
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.