Envoyer par SMS: A categorical semantics of quantum protocols