[Aldor-l] [Axiom-math] Are Fraction and Complex domains.

[Gabriel Dos Reis]

Ralf Hemmecke <ralf at hemmecke.de> writes:

[...]

| But of course, I could live with that identification if it is clearly
| documented that ()->Cat can be identified with Cat. Where are our
| category experts? I believe there is a distinction here, n'est pas?

>From Category Theory point of view, a constant x of type T is the same
as the (unique) morphism x : 1 -> T, where 1 is the one-point set.

Now, I also understand that beyond the name, Aldor's catagories are
not mathematical categories; so....


My practice of functional programming suggests that the identification
is useful in many cases, than keeping the artifice.  But YMMV.

-- Gaby