TY  - RPRT
TI  - Axiomatizing Category Theory in Free Logic
AU  - Christoph Benzmüller
AU  - Dana S. Scott
PY  - 2018
UR  - https://arxiv.org/abs/1609.01493
ID  - 1609.01493
ER  -