User loginNavigation 
Interval DatatypeThis page has a few interesting looking papers. I stumbled here because of the paper titled "A universal characterization of the closed Euclidean interval" (PDF)*. It contains a simple categorical definition of a notion of closed [edit] * The google search term I was using was actually "essential geometric morphism" which I was looking up with regards to topos theory and synthetic differential geometry. By Derek Elkins at 20060211 16:52  LtU Forum  previous forum topic  next forum topic  other blogs  8968 reads

Browse archivesActive forum topics 
Recent comments
1 hour 24 min ago
11 hours 22 min ago
11 hours 27 min ago
15 hours 30 min ago
15 hours 51 min ago
16 hours 26 min ago
16 hours 47 min ago
19 hours 22 min ago
20 hours 7 min ago
23 hours 12 min ago