Title: A Higher Arithmetic