local homeomorphisms

1 Apr 1994


      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?

                       Peter Freyd