Given a signature assigning each operation symbol a natural-number arity, a -algebra consists of (i) a carrier set A, and (ii) for each n-ary symbol , an interpretation .
In Haskell, the symbols are the constructors and their arguments.
1 min read
Given a signature Σ assigning each operation symbol a natural-number arity, a Σ-algebra consists of (i) a carrier set A, and (ii) for each n-ary symbol f∈Σ, an interpretation f:An→A.
In Haskell, the symbols f are the constructors and their arguments.