TY  - GEN

T1  - Concrete Categories in Homotopy Type Theory

T2  - arXiv

PY  - 2013/11/07

AU  - Cranch J

ED  - 

DO  - DOI: 10.48550/arxiv.1311.1852

Y2  - 2024/12/22

ER  -