Skip to main content
Post Made Community Wiki
Source Link
Andrej Bauer
  • 48.8k
  • 11
  • 131
  • 239

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.)