@misc{indiciae538e78b98cf1,
  title = {On Hofmann-Streicher universes},
  author = {Steve Awodey},
  year = {2023},
  url = {https://arxiv.org/abs/2205.10917},
  note = {Source identifier: 2205.10917}
}