@misc{indiciae63192ff8bb9f,
  title = {Sketches for arithmetic universes},
  author = {Steven Vickers},
  year = {2016},
  url = {https://arxiv.org/abs/1608.01559},
  note = {Source identifier: 1608.01559}
}