Lenses, Lexicons, and Algebraic Theories's connections