TY  - RPRT
TI  - On equality of objects in categories in constructive type theory
AU  - Erik Palmgren
PY  - 2017
DO  - 10.4230/lipics.types.2017.7
UR  - https://arxiv.org/abs/1708.01924
ID  - 1708.01924
ER  -