@misc{indiciaece203bada18c,
  title = {A Categorical Construction of Bachmann-Howard Fixed Points},
  author = {Anton Freund},
  year = {2019},
  doi = {10.1112/blms.12285},
  url = {https://arxiv.org/abs/1809.06769},
  note = {Source identifier: 1809.06769}
}