RE: [Axiom-math] POLY INT =\\= UP(x, INT)

[Page, Bill]

On Wednesday, October 08, 2003 5:20 PM I wrote:

> ... 
> I think a categorial type system would start very differently.
> We would need an Axiom category named say, Category, at the
> top of the Basic Algebra Hierarchy. And we would expect Category
> to export at least "objects" and "morphisms" as well as
> composition of morphisms. And there will be Axiom domains
> which represent categorial categories in the category Category
> and natural transformations which belong to the morphisms
> of Category, etc.

Sorry. I should have said 'functors' instead of natural
transformations. Of course at another level we have functors
as objects and natural transformations as morphisms. But
these are just details ... <grin>

Cheers,
Bill Page.