Kurt Pagani wrote:
>
>
>
> 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?
Definitely this sentence is wrong. Since this is a footnote I think
proper correction is to delete it.
--
Waldek Hebisch
--
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.
