@misc{indiciaec7f24acbb629,
  title = {On equality of objects in categories in constructive type theory},
  author = {Erik Palmgren},
  year = {2017},
  doi = {10.4230/lipics.types.2017.7},
  url = {https://arxiv.org/abs/1708.01924},
  note = {Source identifier: 1708.01924}
}