@misc{indiciae433cf627d49d,
  title = {Set theory for category theory},
  author = {Michael A. Shulman},
  year = {2008},
  url = {https://arxiv.org/abs/0810.1279},
  note = {Source identifier: 0810.1279}
}