@misc{indiciaead57e62f1866,
  title = {Non Standard Analysis as a Functor, as Local, as Iterated},
  author = {Eliahu Levy},
  year = {2016},
  url = {https://arxiv.org/abs/1601.00488},
  note = {Source identifier: 1601.00488}
}