@misc{indiciaee0043453b5b9,
  title = {The category of equilogical spaces and the effective topos as homotopical quotients},
  author = {Giuseppe Rosolini},
  year = {2015},
  url = {https://arxiv.org/abs/1511.06901},
  note = {Source identifier: 1511.06901}
}