@misc{indiciae8060fb4c47ba,
  title = {Concrete Categories in Homotopy Type Theory},
  author = {James Cranch},
  year = {2013},
  url = {https://arxiv.org/abs/1311.1852},
  note = {Source identifier: 1311.1852}
}