[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Complex exponentiation and 0
From: |
Page, Bill |
Subject: |
RE: [Axiom-developer] Complex exponentiation and 0 |
Date: |
Mon, 21 Jun 2004 17:11:57 -0400 |
On Monday, June 21, 2004 4:52 PM I wrote:
> ...
> Martin Rubey wrote:
> > > ...
> > > card.spad: error "0**0 not defined for cardinal numbers."
> ...
> In the category of cardinal numbers a "map" is a morphism and 0
> is initial. I think card.spad should be understood as implementing
> such a category, although strictly speaking of course Axiom does
> not (yet?) fully conform to category theory in this respect.
Here is a good reference:
http://planetmath.org/?op=getobj&from=objects&name=CardinalArithmetic