"Bill Page" <[EMAIL PROTECTED]> writes: | On Fri, Jul 4, 2008 at 2:18 PM, Gabriel Dos Reis wrote: | > Bill Page writes: | > | > | On Fri, Jul 4, 2008 at 7:40 AM, Gabriel Dos Reis wrote: | > | > Bill Page writes: | > | > | > | > | On Thu, Jul 3, 2008 at 12:18 PM, Gabriel Dos Reis wrote: | > | > | > | > | There is a related problem with the definition of the domain | > | > | 'Category' - is it a domain or a category? | > | > | > | > Category is conceptually a category, just like Domain is conceptually | > | > a category. | > | | > | What do you mean by "conceptually a category"? As far as I can see | > | Domain is a domain - not conceptually a category at all. | > | > Why? | > | | Simply because I can write: | | x:Domain := Domain
Is your definition that `T' is a domain if you can write x:T := ... ? -- 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
