On 06/17/2016 02:13 PM, oldk1331 wrote: > Type is a category, but Type is the domain of types:
To be honest, I also find this confusing. What I heard from Stephen Watt the other day was that Type is something like the type of all types (even of itself). Of course, that is somewhat contradicting, but "Type" was convenient to introduce technically. In fact, there is the hierarchy domains < categories < Category where "<" denotes the type hierarchy level. In Aldor/FriCAS it stops at "Category", but Type would be at the end of an infinite type hierarchy chain going beyond "Category". However, the actual implementation claims that Type is of type Category. Now what is the type of the (constant) "Category"? I don't know. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
