TY  - RPRT
TI  - Categories as mathematical models
AU  - David I. Spivak
PY  - 2015
UR  - https://arxiv.org/abs/1409.6067
ID  - 1409.6067
ER  -