TY  - RPRT
TI  - Enriched categories as a free cocompletion
AU  - Richard Garner
AU  - Michael Shulman
PY  - 2015
UR  - https://arxiv.org/abs/1301.3191
ID  - 1301.3191
ER  -