TY  - RPRT
TI  - Concrete Categories in Homotopy Type Theory
AU  - James Cranch
PY  - 2013
UR  - https://arxiv.org/abs/1311.1852
ID  - 1311.1852
ER  -