"Bill Page" <[EMAIL PROTECTED]> writes: | On Tue, Apr 8, 2008 at 11:46 PM, Gabriel Dos Reis wrote: | > Bill Page writes: | > ... | > | You have injected the words "hack" and "worship" here but I do not | > | think they are appropriate. What reason do you have to believe that I | > | worship anything in particular? | > | > Because you have not given the substance that the category theory must | > work with in the context that is of interest to us. You have only posted | > links to stuff -- largely known to the audience -- which are | > *axiomatic* in nature. You have carefully avoided giving any | > rigorous definition that can be tested -- that is not science. | > | | That is not true. In the example code that I gave and in my emails I | have specifically stated that I think equality of functions in Axiom | should be changed so that it applies EQ after resolving the functions.
But the question is: Why doing that actually computes anything menaingful? What is the mathematical definition to measure that hack against? Where is that definition? | Right now I am looking for a way to do this inside the Mapping domain, | in the operation MappingEqual instead of by using the "hack" of | applying the functions to some test arguments before testing the | equality. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
