发送短信: Relational algebra by way of adjunctions