All Questions
Tagged with topos dependent-type
1
question
4
votes
1
answer
420
views
Does "unique mere existence" imply "existence"?
Hopefully this question fits in well here. I'm hoping that more people who know the answer will see it here than on somwehere like mse, but please let me know if you'd rather I move it there!
Say you'...