@article{axiomatizingcategorytheoryinfreelogic,
  title = {Axiomatizing Category Theory in Free Logic},
  author = {Christoph Benzmüller and Dana S. Scott},
  year = {2016},
  eprint = {1609.01493},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1609.01493v5},
}