@misc{indiciae23132b3f098b,
  title = {A simple presentation of the effective topos},
  author = {Alexis Bernadet and Stéphane Graham-Lengrand},
  year = {2013},
  url = {https://arxiv.org/abs/1307.3832},
  note = {Source identifier: 1307.3832}
}