"Bill Page" <[EMAIL PROTECTED]> writes: | On Tue, Jul 8, 2008 at 7:46 PM, Gabriel Dos Reis wrote: | > On Tue, Jul 8, 2008 at 6:29 PM, Bill Page wrote: | > | >> Categories are values of the domain Category, so the domain Category | >> is the domain of subdomains of Domain. Category is like a power set | >> object in category theory. | > | > I think I may be persuaded on this, except that I'm still unclear whether | > I appreciate sufficiently the notion of `subdomain', which for me is still | > a bit of mystery. | > | | It seems less mysterious to me.
Good for you :-) | I think almost: | | Category():Domain == SubDomain Domain | | 'SubDomain' is like the domain constructor 'Set' except of course | unlike 'Set Domain', on coerce to OutputForm the objects of 'Category' | have names (the category name). I don't think this clarifies things for me. As I explained recently, SubDomain is a curious half backed feature in the compiler and interpreter (and he interpretation actually has a very firm idea about what is a SubDomain), so trying to explain such a fundamental concept as `subdomain' in terms of a curiously hafl backed implemetation is no clarfication for me, I'm afraid. | But the result of 'members' would be | List(Domain): | | members: % -> List Domain | | implemented by a database query. One might also expect more reflections such as: | | exports: % -> List Record(name:Symbol, body:Tuple Domain -> Domain) | parents: % -> List % | | etc. I like to see to specifications, then implementations; because I want to know when the implementation is correct e.g. does what it is supposed to do. -- 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
