@misc{indiciaebca14abceb3d,
  title = {New methods for old spaces: synthetic differential geometry},
  author = {Anders Kock},
  year = {2017},
  url = {https://arxiv.org/abs/1610.00286},
  note = {Source identifier: 1610.00286}
}