Functorial Semantics of Algebraic Theories · HackerTrans