RE: [Axiom-developer] Complex exponentiation and 0

[Page, Bill]

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