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  9195 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 3 days ago
1 week 3 days ago
1 week 4 days ago
1 week 5 days ago
2 weeks 4 days ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 6 days ago
3 weeks 2 days ago
3 weeks 5 days ago