31 Mar
1994
31 Mar
'94
6:08 p.m.
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