A higher geometry