FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES.