In my last posting I had written: Peter Selinger, a student here at Penn, observes that the category of topological spaces and local homeomorphisms fails to be complete only because it fails to have a terminator. That is, every _non-empty_ small diagram has a limit. Who knows a reference for this? What I didn't realize is that he was correcting an error in "Categories, Allegories." On page 50 (1.461) we wrote that the category in question fails to have binary products. Wrong. I'm concluding that this was not known before. It's a nice example of a product that's very much not preserved by the forgetful functor. The product of the space of rational numbers with itself is uncountably large. (And for every infinite cardinal there's a space whose product with itself has the next power-cardinal as its size.)