@misc{indiciaef0e1da5c4b18,
  title = {Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects},
  author = {Fabio Pasquali},
  year = {2014},
  url = {https://arxiv.org/abs/1401.7867},
  note = {Source identifier: 1401.7867}
}