Tagged Questions
2
votes
1answer
44 views
Homomorphisms and isomorphisms in an equational calculus
Suppose we have an algebraic specification in the form: $\{S,F,w\}$ where $S$ are the sorts, $F$ are the functions and $w$ are the set of equations.
For example, the specification for natural numbers:
...
