@misc{indiciaed20d1c86132c,
  title = {W-Types with Reductions and the Small Object Argument},
  author = {Andrew Swan},
  year = {2018},
  url = {https://arxiv.org/abs/1802.07588},
  note = {Source identifier: 1802.07588}
}