29 Sep
2010
29 Sep
'10
1:09 a.m.
On Tue, Sep 28, 2010 at 9:11 AM, David Leduc <david.leduc6@googlemail.com>wrote:
But being cartesian closed is a *property*, not extra *structure*,
"being cartesian closed is a property" but [_._] is structure, isn't it?
I'm not sure what [_._] is supposed to mean - an internal hom functor? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]