28 Sep
2010
28 Sep
'10
1:11 a.m.
But being cartesian closed is a *property*, not extra *structure*,
"being cartesian closed is a property" but [_._] is structure, isn't it? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]