"Bill Page" <[EMAIL PROTECTED]> writes: | On Fri, Jul 4, 2008 at 7:40 AM, Gabriel Dos Reis wrote: | > ... | > I would not like to add to the confusion, but when thinking of this | > problem one should also keep an eye on the status of Mapping. | > What is it? Is it a domain constructor or a category constructor? | > | | Mapping (e.g. A->B) is clearly a domain constructor since we can write: | | x:A->B := ... | | A->B is the type of x.
>From my perspective, that is putting the cart before the cattle. It is not because you can write x:A->B := ... that makes Mapping a domain constructor. If you could write y: Ring := Integer would that make Ring a domain, as opposed to a category? I suspect the answer must come first principles, not from a posteriori side effects. | But 'with x:A->B' is a category object so we should be able to say: | | x:Category := with x:A->B yes, and the fact that you can't in OpenAxiom is a relic accidently carried over from the base AXIOM system. But, again, that is orthogonal to what constitute a domain or a category. -- Gaby ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
