14 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
Erik Palmgren
In this note we remark on the problem of equality of objects in categories formalized in Martin-Löf's constructive type theory. A standard notion of category in this system is E-ca…