Title: A higher arithmetic