この資料をSMS送信: A categorical semantics of quantum protocols