27 Nov
2004
27 Nov
'04
11:53 a.m.
Somewhere I have a paper that describes classes C of spaces with the property that C-generated spaces are CCC (as well as complete and cocomplete). One of the classes is that of the finite simplexes (you could obviously use cubes instead) which would seem to have at least the possibility of being able to define smoothness. I am away from home now and cannot give the exact reference, but I think it was in the Cahiers around 1980. My recollection is that the spaces in C had to be compact, so you could not use Euclidean spaces. Michael 27-Nov-2004 13:23:18 -0400,2771;000000000000-00000000