TY  - RPRT
TI  - Enriched indexed categories
AU  - Michael Shulman
PY  - 2014
UR  - https://arxiv.org/abs/1212.3914
ID  - 1212.3914
ER  -