2 problems

Let ${\mathbb Q}_{\textup{\textbf{a}}}$ be the common meadow of rational numbers, with an absorbing element for undefined inversion. A datatype defining rewrite system (DDRS) is a…

Let ${\mathbb Q}_0$ be the meadow of rational numbers with totalized inversion. An equational initial algebra specification is a finite set of equations whose initial algebra is…