发送短信: A categorical semantics of quantum protocols