Am 31.10.2016 um 16:25 schrieb Kurt Pagani: > Chapter 2.1 (after 2.1.1) tells us: > >>> > The most basic category is Type. It denotes the class of all domains and > subdomains. Note carefully that Type does not denote the class of all types. > The > type of all categories is Category. The type of Type itself is undefined. > << >
Is it possibly a typo? Maybe it should read 'The type of Category itself is undefined'. This would make sense, wouldn,t it? -- 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.
