If two elements in a poset have the same lower bounds then they are equal by Yoneda lemma. (I actually said this in a seminar two weeks ago, and of course I explained I killed a mosquito with a nuke.)
Andrej Bauer
- 48.8k
- 11
- 131
- 239