Timeline for "Category" of Nonempty Metric Spaces and Contractive Maps?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 18, 2010 at 13:40 | vote | accept | Neel Krishnaswami | ||
| Feb 18, 2010 at 13:40 | comment | added | Neel Krishnaswami | I think the idea of using a length may work well for me, actually! I'm designing a small programming language, and am trying to give a semantics which will let me use a fixed point to interpret recursive definitions. So I need some way of only talking about the contraction maps, to allow these definitions to work. | |
| Feb 18, 2010 at 11:51 | history | answered | Andrew Stacey | CC BY-SA 2.5 |