T(+,×):加法-乘法透镜——算术结构的思考工具 | Synapse