Re: [Axiom-developer] Complex exponentiation and 0

[William Sit]

"Page, Bill" wrote:
> 
> No. The morphisms in the Cardinal numbers category are
> functions. There is no function whose codomain is 0 unless
> the domain is 0. See
> 
>   http://planetmath.org/encyclopedia/Function.html
> 
> There is exactly one function whose domain is 0 for each
> codomain. So we do have x^0 = 1 and 0^y = 0 for y \ne 0.

You are right. I stand corrected. Thanks.

William