Universal algebra nullary operations
May 10, 2020
Recall universal algebra approach to definining algebraic structures. Instead of explicitly stating existence of certain elements – for exapmle, by designating a unit element in a group or associating an inverse – we replace them with a collection of functions. With this in mind, if \(A\) is a group, a unit element can be replaced with 0-arity function that chooses an element of \(A\) . An inverse is a 1-arity function \(A \rightarrow A\) . ...