21 Nov
1993
21 Nov
'93
3:42 p.m.
No,it is not the power set of a closed category in which the normed categories are enriched, but rather the portion of the presheaf category (closed via Brian Day) consisting of coproducts of representables, for which there is an alternative description of the closed structure. Some details of this construction were published in a paper by Betti and Galluzzi. It is also mentioned in the introduction to Springer Lecture Notes 274 that real numbers are merely the poset reflection of the category of dynamical systems. -Bill ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++