@misc{indiciaeb353562b8e1e,
  title = {The comprehension construction},
  author = {Emily Riehl and Dominic Verity},
  year = {2018},
  url = {https://arxiv.org/abs/1706.10023},
  note = {Source identifier: 1706.10023}
}