About
A mathematical algebra has three parts:
- Objects. The collection of objects defines what we’re talking about.
- Operations
- Laws are relationships between the objects and the operations.
In high school algebra:
- the objects are numbers
- and the operations are addition, multiplication and friends.
In the algebra of Haskell types,
- the objects are types, for example Bool and Int.
- the operators take types that already exist, and generate new types from them.