Oops sorry. I hope correcting a small typo makes the following
paragraph more intelligible.
On Fri, Dec 5, 2008 at 8:51 PM, I wrote:
>
> 'CatOfR' is what I earlier called the "singleton category" of R or
> {R}. You say that it is "known at compile time", but as far as I can
> see if all we know is R, we have to syntactical means (other than
> perhaps SubsetCategory) to tell the compiler that this is the
> category that we are talking about. I think that being able to
> specify this independently of SubsetCategory is a good idea. If
> not {R} then why not make 'CatOf(R)' or something like that
> somehow special?
>
I intended to write:
... if all we know is R, we have *no* syntactical means (other than
perhaps SubsetCategory) to tell the compiler that this is the
category ...
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
