[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-math] POLY INT =\\= UP(x, INT)
From: |
Page, Bill |
Subject: |
RE: [Axiom-math] POLY INT =\\= UP(x, INT) |
Date: |
Wed, 8 Oct 2003 17:30:34 -0400 |
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.
- RE: [Axiom-math] POLY INT =\\= UP(x, INT), Page, Bill, 2003/10/08
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), Dylan Thurston, 2003/10/09
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), William Sit, 2003/10/10
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), Dylan Thurston, 2003/10/10
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), William Sit, 2003/10/10
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), Dylan Thurston, 2003/10/10
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), root, 2003/10/10
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), William Sit, 2003/10/11
- Re: [Axiom-math] POLY INT =\\= UP(x, INT), Dylan Thurston, 2003/10/11
- RE: [Axiom-math] POLY INT =\\= UP(x, INT),
Page, Bill <=