Enviar por SMS: Higher topos theory