@misc{indiciae8f7599288e86,
  title = {A marriage of category theory and set theory: a finitely axiomatized nonstandard first-order theory implying ZF},
  author = {Marcoen J. T. F. Cabbolet},
  year = {2021},
  url = {https://arxiv.org/abs/1806.05538},
  note = {Source identifier: 1806.05538}
}