On Tue, Jul 8, 2008 at 6:29 PM, Bill Page <[EMAIL PROTECTED]> 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. -- 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
